(VAR)
(RULES
  i0(c0,c0,c1,c1) -> i0(c2,c2,c2,c2)
  c0 -> c1
  c0 -> c2
  c1 -> c0
  c1 -> c2
)
(COMMENT from \cite{NM16})