dom-simplify incorrect answer on QF_BV formula

Hi,
For this formula,
```
(declare-fun d () (_ BitVec 4))
(assert
  (let ((a!6 (ite (and (= d #x0) true)
                  true
                  (and (= d #x0) true))))
  (and a!6 a!6)))
(check-sat-using dom-simplify)
```
z3 gives an incorrect answer `unsat` on this `sat` formula. 
` (check-sat-using default)` gives `sat`

OS: Ubuntu 18.04
Revision: 524434c