if delta > height then config else aux (0, [], body, s)
| (_, _, NCic.Const (NReference.Ref
(_,_,NReference.Fix (fixno,recindex)) as refer),s) as config ->
if delta > height then config else aux (0, [], body, s)
| (_, _, NCic.Const (NReference.Ref
(_,_,NReference.Fix (fixno,recindex)) as refer),s) as config ->