(VAR x)
(RULES
  a -> b
  a -> f(a)
  f(x) -> x
)
(COMMENT Example 3.5 from \cite{KS13})