Remove all cheats from modLangProofScript.sml