(VAR x y)
(RULES
  f(x,y) -> f(g(x),g(x))
  g(x) -> h(x)
  F(g(x),x) -> F(x,g(x))
  F(h(x),x) -> F(x,h(x))
)
(COMMENT Example 1 of \cite{AT97b})