(VAR x)
(RULES
g0(c0) -> g0(g0(c0))
c0 -> c1
g0(x) -> g0(c1)
)