NCicPp.set_ppterm NCicPp.trivial_pp_term;
let u = UriManager.uri_of_string Sys.argv.(1) in
let o, _ = CicEnvironment.get_obj CicUniv.oblivion_ugraph u in
NCicPp.set_ppterm NCicPp.trivial_pp_term;
let u = UriManager.uri_of_string Sys.argv.(1) in
let o, _ = CicEnvironment.get_obj CicUniv.oblivion_ugraph u in