| C.ARel (id, rid, m, b) as t ->
if m < k then t else
if m + n > 0 then C.ARel (id, rid, m + n, b) else
- assert false
+ begin
+ HLog.error (Printf.sprintf "ProceduralConversion.lift: %i %i" m n);
+ assert false
+ end
| C.AConst (id, uri, xnss) -> C.AConst (id, uri, List.map (lift_xns k) xnss)
| C.AVar (id, uri, xnss) -> C.AVar (id, uri, List.map (lift_xns k) xnss)
| C.AMutInd (id, uri, tyno, xnss) -> C.AMutInd (id, uri, tyno, List.map (lift_xns k) xnss)