Assertion violation on NRA formula

[muchang]

Hi,
For this formula,

(assert
 (forall ((a Real))
  (> a (+ (/ 0 0) 0) 0)
  )
 )
(check-sat)

z3 will throw out the assertion violation:

ASSERTION VIOLATION
File: ../src/qe/qsat.cpp
Line: 631
validate_defs("check_sat")
(C)ontinue, (A)bort, (S)top, (T)hrow exception, Invoke (G)DB

OS: Ubuntu 18.04
Revision: a635049 (./configure -d)