cloog-0.18.0/isl/test_inputs/codegen/cloog/1point-2.in

[M, N] -> { S1[2M, 2 + N] -> [2M, 2 + N, 0] }
[M, N] -> {  :  }
[M, N] -> { [i, j, k] -> separate[o0] }