let o,_ = CicEnvironment.get_obj CicUniv.oblivion_ugraph ouri in
let l = OCic2NCic.convert_obj ouri o in
List.iter (fun (u,_,_,_,_ as o) ->
let o,_ = CicEnvironment.get_obj CicUniv.oblivion_ugraph ouri in
let l = OCic2NCic.convert_obj ouri o in
List.iter (fun (u,_,_,_,_ as o) ->