P.add ~beta:1 ~upsilon:(List.length tl) ();
let f mc sc = step f ~delta ~rt c {c = mc; s = sc} t in
let f mc = lift_stack (f mc) tl in
- let f v = B.push f m.c a (B.Abbr (B.Cast ([], w, v))) in
+ let f v = B.push f m.c a (B.Abbr v (* (B.Cast ([], w, v)) *) ) in
S.lift f h (0) v
end
| B.Bind (a, b, t) ->