prove a cheat in compilerProofs