- | B.Bind (a, B.Abst (n, w), t) ->
- begin match m.s with
+ | B.Bind (y, B.Abst (false, n, w), t) ->
+ let i = tsteps m in
+IFDEF SUMMARY THEN
+ if !G.summary then O.add ~x:i ()
+ELSE () END;
+ let n = if i = 0 then n else N.minus st n i in
+ let r = B.Bind (y, B.Abst (true, n, w), t) in
+ step st m r
+ | B.Bind (y, B.Abst (true, n, w), t) ->
+ if !G.si || N.is_not_zero st n then begin match m.s with