(VAR x)
(RULES
  f(x,x) -> a
  f(x,g(x)) -> b
)
(COMMENT Exercise 6.5{c} of \cite{BN98})