Implemented graph_vertex_disjoint()