| (k, e, (C.MutInd (uri,_,_) as t),s) -> let t' = unwind k e t in
if s = [] then t' else C.Appl (t'::s)
| (k, e, (C.MutConstruct (uri,_,_,_) as t),s) ->
| (k, e, (C.MutInd (uri,_,_) as t),s) -> let t' = unwind k e t in
if s = [] then t' else C.Appl (t'::s)
| (k, e, (C.MutConstruct (uri,_,_,_) as t),s) ->