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