polly/lib/External/isl/test_inputs/codegen/pldi2012/figure7_d.in

   1 [n] -> { s0[i] -> [i,0] : 1 <= i <= 100 and n > 1;
   2          s1[i,j] -> [i,j] : 1 <= i,j <= 100 and n > 1;
   3          s2[i,j] -> [i,j] : 1 <= i,j <= 100 }
   4 [n] -> {  :  }
   5 [n] -> { [i,j] -> separate[x] : x >= 0 }