with Failure _ -> assert false))
| NCic.Meta (i,(m,l)) as t when m >= k + nargs - 1 ->
if delift && nargs <> 0 then NCic.Meta (i,(m-nargs,l)) else t
with Failure _ -> assert false))
| NCic.Meta (i,(m,l)) as t when m >= k + nargs - 1 ->
if delift && nargs <> 0 then NCic.Meta (i,(m-nargs,l)) else t