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