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