Update ter_manip_graph.ml