prerr_endline "finished....";
let lll = List.sort compare (CicUniv.do_rank (get_graph ())) in
prerr_endline "caching objects";
prerr_endline "finished....";
let lll = List.sort compare (CicUniv.do_rank (get_graph ())) in
prerr_endline "caching objects";