(RULES
  c0 -> c0
  c0 -> c1
  f0(c0, c0) -> f0(c1, f0(f0(c0, c1), c0))
)
(COMMENT NFP & ~CR)