1# Check that the different disjuncts in the unroll option 2# are handled separately. 3{ A[i] -> [i] : 0 <= i < 100000 } 4{ : } 5{ [i] -> unroll[0] : i < 4 or i > 99996 } 6