[n] -> { S1[i] -> [i, 0] : i >= 0 and i <= 10 }
[n] -> {  :  }
[n] -> { [i, j] -> unroll[o0] }