Update ter_struc_graph.ml