Verifying for loops and block statements are orthogonal