prove two cheats in initialProgramScript.sml