test/regress/regress0/bug310.cvc

   1 % EXPECT: entailed
   2 b : BOOLEAN;
   3 DATATYPE D = c(s:INT) END;
   4 QUERY c(IF b THEN 1 ELSE 0 ENDIF) = IF b THEN c(1) ELSE c(0) ENDIF;