(VAR x y )
(STRATEGY INNERMOST)
(RULES 
        f(x,y) -> g(x,y)
        g(h(x),y) -> h(f(x,y))
        g(h(x),y) -> h(g(x,y))
        
)