(VAR)
(RULES
g0(f0(c1, g0(c1))) -> c0
f0(c1, g0(c1)) -> c0
c0 -> g0(c0)
)