Commit: e804f77 ``` $z3release bug.smt2 unsat $cvc4 -q bug.smt2 sat $cat bug.smt2 (declare-fun a () Real) (assert (not (is_int (to_real a)))) (check-sat) ```
