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