prove a cheat in toIntLang3ProofScript.sml