1# Check that a fixed value of one dimension in terms of the others 2# does not cause loop coalescing avoidance to break down. 3domain: { S[a, b] : -b >= 0 and a + 10b >= 0 and -a - b + 9 >= 0 } 4