let vertex_name v = 
    let n = V.label v in (string_of_int (VL.hash n))