Enhanced applicability of loop transformations