let get_checked_obj reference = let ouri = NReference.ouri_of_reference reference in let o,_ = CicEnvironment.get_cooked_obj ~trust:false CicUniv.oblivion_ugraph ouri in OCic2NCic.convert_obj o