But also very different. If code below this loop executes after elimination and wouldnt have before, that is a very significant change in semantics