fix some stuff in the semantics terminationScript.sml