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