Assertion failure on NIA formula

[wintered]

Hi,

On the following formula z3 gives an assertion failure

(declare-fun a () Int)
(declare-fun b () Int)
(declare-fun c () Int)
(declare-fun d () Int)
(declare-fun f () Int)
(declare-fun e () Int)
(declare-fun g () Int)
(assert (or  (and (let ((?h (<= 0 e)) (?i (<= e f)) (?j (< f d))) (and ?h ?i ?j) ))    
        (forall ((?k Int))    (= 0   ?k ) ) ))
(assert (= g (div a c)))
(assert (= d (div b g)))
(assert (= g (div b d)))
(check-sat)

ASSERTION VIOLATION
File: ../src/smt/theory_arith_nl.h
Line: 1553
n != nm
(C)ontinue, (A)bort, (S)top, (T)hrow exception, Invoke (G)DB

OS: Ubuntu 18.04
Revision: 74aa47f