% EXPECT: VALID
% Simple test for right precedence of comparisons and plus/minus
x, y, z: INT;
QUERY (x + y - z > 0 AND 0 < x - y + z) <=>
((((x + y) - z) > 0) AND (0 < ((x - y) + z)));
% EXIT: 20
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback