(VAR X Y Z)
(RULES

f(f(X,Y),Z) -> f(X,f(Y,Z))
f(X,f(Y,Z)) -> f(Y,Y)



)