fix Print_astTerminationScript.sml