% 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);
% EXIT: 20