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