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