(VAR x)
(RULES
  f(x) -> g(x)
  f(x) -> h(f(x))
  h(f(x)) -> h(g(x))
  g(x) -> h(g(x))
)
(COMMENT
[27] Example 3.1
submitted by: Takahito Aoto, Junichi Yoshida, and Yoshihito Toyama
)