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