| NReference.Ref (_, uri, (NReference.Fix (fixno,_)|NReference.CoFix fixno))->
(match get_checked_obj uri with
| _,height,_,_, NCic.Fixpoint (is_fix,funcs,att) when is_fix = b ->
| NReference.Ref (_, uri, (NReference.Fix (fixno,_)|NReference.CoFix fixno))->
(match get_checked_obj uri with
| _,height,_,_, NCic.Fixpoint (is_fix,funcs,att) when is_fix = b ->