twee-2.4.2: tests/cm.p

fof(a, axiom, ![X, Y]: plus(X, Y)=plus(Y, X)).
fof(a, axiom, ![X, Y, Z]: plus(plus(X, Y), Z)=plus(X, plus(Z, Y))).
fof(a, axiom, a!=b).