val add_gt:
universe -> universe -> universe_graph -> universe_graph
-val do_rank: universe_graph -> unit
+val do_rank: universe_graph -> int list
val get_rank: universe -> int
(*
returns the universe number (used to save it do xml)
*)
val univno: universe -> int
+val univuri: universe -> UriManager.uri
(** re-hash-cons URIs contained in the given universe so that phisicaly
* equality could be enforced. Mainly used by