(VAR x)
(RULES
  a -> a
  f(b, a) -> f(a, b)
  f(x, a) -> b
)
(COMMENT UN & ~NFP)