% EXPECT: VALID
% Simple test for right precedence of AND and NOT.

A, B: BOOLEAN;

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