cloog-0.18.0/isl/test_inputs/codegen/cloog/rectangle.in

[n] -> { S1[i0, i1] -> [i0 + i1] : i0 >= 0 and i0 <= n and i1 >= 0 and i1 <= n }
[n] -> {  : n >= 0 }
[n] -> { [i] -> separate[o0] }