S -> Sp op -> i ip -> c oc -> io ic -> co cS -> ioS