I don't think these assertions can be completed

[grncdr]

Two "should" calls inside a nested function were asserting against a var
from the enclosing scope that was not reliably modified on each call to the
nested function. As far as I can tell the nested function can't make any
interesting assertions about said var.

Unless I'm missing something obvious, which is totally possible ;)

[davidcarltonsumo]

Yeah, I ran into that too. Though the existing asserts did have a useful didactic purpose for me in the first invocation of add2, because it emphasizes the lazy evaluation of i. I'm not entirely sure what the best solution is to that.

[lamdor]

Yeah, that's a messup on my part I think. Thanks for the patch.