Assertion violation at sparse_matrix_def.h:507 (opt, smt.arith.solver 3)

[rainoftime]

Hi, for the following formula

(set-logic QF_AUFNIA)
(set-option :smt.arith.solver 3)
(declare-const i2 Int)
(declare-const i5 Int)
(declare-const arr (Array Int Int))
(assert (= arr (store arr 14 i5) arr (store arr 14 i2) arr))
(minimize (+ i2 i5))
(check-sat)

z3 (commit 38e0968) throws an assertion violation

ASSERTION VIOLATION
File: ../src/math/simplex/sparse_matrix_def.h
Line: 507
!vars.contains(e.m_var)
(C)ontinue, (A)bort, (S)top, (T)hrow exception, Invoke (G)DB