path: root/omegalib/examples/old_test/stride1

R := { [i] : i < 10 && i > 1 && exists ( alpha : i = 3alpha) };
codegen R;