(VAR x)
(RULES
  f(i(x),g(a)) -> f(j(x,x),g(b))
  b -> a
  i(x) -> j(x,x)
)
(COMMENT
[17] Example 7
submitted by: Takahito Aoto, Junichi Yoshida, and Yoshihito Toyama
)