% EXPECT: valid
% Simple test for right precedence of = and NOT.

A, B: INT;

QUERY (NOT A = B) <=> (NOT (A = B));
% EXIT: 20