% EXPECT: valid
% Simple test for left associativity of XOR

A, B, C: BOOLEAN;

QUERY (A XOR B XOR C) <=> ((A XOR B) XOR C);
% EXIT: 20