let u = UriManager.uri_of_string Sys.argv.(1) in
let o, _ = CicEnvironment.get_obj CicUniv.oblivion_ugraph u in
prerr_endline "VECCHIO";
let u = UriManager.uri_of_string Sys.argv.(1) in
let o, _ = CicEnvironment.get_obj CicUniv.oblivion_ugraph u in
prerr_endline "VECCHIO";