| C.Appl (C.Const (Ref.Ref (_,Ref.Fix (_,recno,_)))::args)
when List.length args > recno ->
let t = NCicReduction.whd status ~subst context (List.nth args recno) in
| C.Appl (C.Const (Ref.Ref (_,Ref.Fix (_,recno,_)))::args)
when List.length args > recno ->
let t = NCicReduction.whd status ~subst context (List.nth args recno) in