z3 smt.arith.solver=1 segmentation fault on QF_UFLIA formula (assert (b (/ 0 a)))

Hi,
For this formula,
```
(declare-fun a () Int)
(declare-fun b (Int) Bool)
(assert (b (/ 0 a)))
(check-sat)
```
z3 smt.arith.solver=1 throws out a segmentation fault.

OS: Ubuntu 18.04
Revision: 7b0327d
