If the loop variable candidate has a dominating block that lives in an unrelated loop, we have to reject the loop variable candidate.
Hans-Kristian Arntzen