let get_edge_op e = edge_to_op (Tree.get_edge_label e)