prove cheats in patLangProofScript.sml