1 2 3 4 5 6
% EXPECT: entailed % Simple test for left associativity of XOR A, B, C: BOOLEAN; QUERY (A XOR B XOR C) <=> ((A XOR B) XOR C);