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