(VAR )
(RULES
  c0 -> c1
  c0 -> c3
  c1 -> c0
  c2 -> c0
  c2 -> c1
)
(COMMENT Example 5.2 from \cite{NFZ17})