*)
val empty_ugraph: universe_graph
+(* an universe that does nothing: i.e. no constraints are kept, no merges.. *)
+val oblivion_ugraph: universe_graph
+
(*
These are the real functions to add eq/ge/gt constraints
to the passed graph, returning an updated graph or raising