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