qe_rec incorrect answer on NIA formula

[muchang]

Hi,
For this formula:

(declare-fun a () Int)
(assert (forall ((b Int)) (or (= (* b b) a) (> b 0))))
(check-sat)
(check-sat-using (then qe_rec smt))

(check-sat) returns unsat, while (check-sat-using (then qe_rec smt)) returns sat

OS: Ubuntu 18.04
Commit: 4f33c12

[NikolajBjorner]

fixed