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