(VAR x )
(RULES 
        f(h(x)) -> f(i(x))
        g(i(x)) -> g(h(x))
        h(a) -> b
        i(a) -> b
        
)