(VAR x y )
(RULES 
        a(a(delta,x),y) -> a(y,a(x,y))
        
)