added cheats to some broken proofs in sideScript.sml