- let t = List.assoc luri ens in
- let t,o = aux octx ctx n_fix uri t in
- t::l, o@objs
+ match fst (CicEnvironment.get_obj CicUniv.oblivion_ugraph luri) with
+ Cic.Variable (_,Some _,_,_,_) -> l, objs
+ | Cic.Variable (_,None,_,_,_) ->
+ let t = List.assoc luri ens in
+ let t,o = aux octx ctx n_fix uri t in
+ t::l, o@objs
+ | _ -> assert false