(VAR x )
(STRATEGY OUTERMOST)
(RULES 
        f(h(x, x)) -> f(i(x))
        f(i(x)) -> a
        i(x) -> h(x, x)
        
)