update compilerTerminationScript.sml for new exp_to_Cexp