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