fix broken proofs in compilerProofScript.sml