let
vertex_name v = string_of_int (
Node
.elem_id v)