1 2 3 4 5 6 7
% EXPECT: VALID % Simple test for right precedence of XOR and AND. A, B, C: BOOLEAN; QUERY (A XOR B AND C) <=> (A XOR (B AND C)); % EXIT: 20