test/regress/regress0/bug322b.cvc

   1 % COMMAND-LINE: --incremental
   2 % EXPECT: entailed
   3 % EXPECT: entailed
   4 % EXPECT: entailed
   5 x : INT;
   6 y : INT = x + 1;
   7 z : INT = -10;
   8 identity : INT -> INT = LAMBDA(x:INT) : x;
   9 QUERY identity(x) = x;
  10 QUERY identity(y) > x;
  11 QUERY identity(z) = -10;