{ S1[] -> [0] }
{  :  }
{ [i] -> separate[o0] }