(VAR x)
(RULES
  f0(c0, f0(x, c0)) -> f0(c0, f0(f0(c0, c0), c0))
)
(COMMENT UN & ~UNC)