path: root/omegalib/examples/old_test/iter3

R := { [i,j] : i < 10 && i > 1 && j < 10 && j > i};
codegen R;