Tree_edges_correspond_to_vertices_other_than_roots