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