path: root/test/regress/regress0/precedence/cmp-plus.cvc

% EXPECT: entailed
% 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)));