The reason I didn't do this in the first place is that generating this is complicated, as you have seen when transforming ForStatement into a StateMachine. I might still want to do this eventually so a TODO seemed appropriate.