(VAR x)
(RULES
  c0 -> c0
  g0(g0(c0)) -> c1
  g0(g0(x)) -> g0(g0(g0(c1)))
)
(COMMENT UN & ~UNC)