optimize loop vars even if there is some code (like a phi) in the if block where the loop break is, if it does not interfere