let vertex_name v = string_of_int (N.elem_id v)