Generalize loop labels to normal labels and remove intra-loop transforms.