- | B.Bind (a, B.Abst (n, w), t) ->
+ | 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) ->