1*5971e316Smrg# Test that unrolling takes into account stride constraints.
2*5971e316Smrg# If it didn't, it would run essentially forever on this example.
3*5971e316Smrg[n] -> { A[i] -> [i] : exists a : i = 100000000 a and 0 <= a <= 2 }
4*5971e316Smrg{:}
5*5971e316Smrg{ [i] -> unroll[0] }
6