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

[n] -> {  :  }

[n] -> { [i, j] -> unroll[o0] }