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