{ S1[i0] -> [i0, 0] : i0 >= 0 and i0 <= 2 }

{  :  }

{ [i, j] -> separate[o0] }