(RULES
  a -> a
  a -> b
  f(a, a) -> f(b, f(f(a, b), a))
)
(COMMENT NFP & ~CR)