let vertex_name v = string_of_int (Node.elem_id v)