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