twee-0.1: tests/martin-nipkow-2.p

cnf(a, axiom, '*'('*'(X,X),Y) = '*'(Y,'*'(X,X))).