(VAR x)
(RULES
c0 -> c1
c0 -> c2
c0 -> c4
c1 -> c3
c2 -> c0
c3 -> c0
c3 -> c4
g0(x) -> g1(c0)
g1(x) -> c4
)