I suspect that there is some legal reason that none of us has thought of that prevents Inno from actually enforcing the pushing violations.
I've thought about this a few times, and I just don't see it as being likely. Surely a company making
$160,000,000 per year has a pretty iron-clad "If you break our rules we can delete you" clause.
A few months ago I did a fairly deep search on google looking for companies getting into trouble for deleting players for
any reason, and there's just nothing out there. Perhaps people have sued and signed an NDA with the settlement, but there should still be
some evidence if that has happened.
I believe the most likely scenario is that inno could remove any player they wanted, but chooses not to because many of them spend money as well as cheating. Not just a little, but a huge amount. One example player pushed her way to all level 25 wonders which was free, but buying ~10,000 runeshards and upgrading instantly doesn't come cheap. She also finished chapter 12 in a few days.
Leaving the ToS as is and choosing if and when to enforce it gives the company the best results. They get money from cheaters, but can change their mind at any time. Cheaters may even act like a carnie shill by enticing legit spenders to compete.