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