update compilerProofScript.sml for changed location of convert_env2_def