let vertex_of_value t e =
  Hashtbl.find t.values e