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