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