I don't think that needs to happen. From the article: "Basically, we re-enter a clone of the loop from above…. a clone specially made to be re-entered at any i

I don't think that needs to happen. From the article: "Basically, we re-enter a clone of the loop from above…. a clone specially made to be re-entered at any iteration" This is put forward as the explanation for how variables are mutated in the debugger, but as a mechanism for "un-unrolling" the loop it probably serves to support such conditional breakpoints too.