[578] % z3 bug.smt2 
ASSERTION VIOLATION
File: ../src/util/parray.h
Line: 336
i < size(r)
(C)ontinue, (A)bort, (S)top, (T)hrow exception, Invoke (G)DB
a
[579] % 
[579] % cat bug.smt2 
(declare-fun a () Int)
(declare-fun b () Int)
(declare-fun c () Int)
(assert (and (or (distinct a 0) (= b 0)) (distinct c 0) (not true)))
(check-sat-using (then add-bounds solve-eqs))
[580] %