% COMMAND-LINE: --incremental
% EXPECT: entailed
% EXPECT: entailed
% EXPECT: entailed
x : INT;
y : INT = x + 1;
z : INT = -10;
identity : INT -> INT = LAMBDA(x:INT) : x;
QUERY identity(x) = x;
QUERY identity(y) > x;
QUERY identity(z) = -10;