Assertion violation on NRA formula

[muchang]

Hi,
For this formula:

( declare-fun a () Int )
( declare-fun b () Int )
( declare-fun c () Int )
( declare-fun d () Int )
( declare-fun i () Int )
( declare-fun e () Int )
( declare-fun f () Int )
( declare-fun j () Int )
( declare-fun g () Int )
( declare-fun h () Int )
(assert
  (=
    0
    (/
      6
      (+
        (*
          7
          (*
            (+
              (-
                (- 8 (* (+ a g) 6))
              )
              (/ (* b (+ c j)) 9)
            )
            (+ (* 7 (/ e 2)) i (- f 3))
            (- 2 d h)
          )
        )
        (/ 7 0)
      )
      0
    )
  )
)
( check-sat )

z3 will throw out a assertion violation while solving this formula:

ASSERTION VIOLATION
File: ../src/smt/theory_arith_core.h
Line: 351
m->get_num_args() == 2
(C)ontinue, (A)bort, (S)top, (T)hrow exception, Invoke (G)DB

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