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