(VAR x)
(RULES
  a -> h(c)
  a -> h(f(c))
  h(f(x)) -> h(f(g(x)))
)
(COMMENT
from experiments for [44]
submitted by: Tsubasa Suzuki, Takahito Aoto, and Yoshihito Toyama
)