prove cheat in replCorrectScript.sml