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