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