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