(VAR)
(RULES
g0(c0) -> g0(f0(c1, c1))
c0 -> f0(c2, c2)
c2 -> c3
c3 -> c1
c1 -> c3
)