prove a cheat in holConservativeScript.sml