(VAR)
(RULES
c1 -> c0
c1 -> c2
c2 -> c1
c2 -> c3
)