(VAR x)
(RULES
  a -> b
  f(x, a) -> b
  f(b, b) -> b
)
(COMMENT from p.27 of \cite{IWC16})