prove a cheat in compilerTerminationScript.sml

the other one looks considerably more difficult