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