[794] % z3 small.smt2
ASSERTION VIOLATION
File: ../src/util/old_vector.h
Line: 375
idx < size()
(C)ontinue, (A)bort, (S)top, (T)hrow exception, Invoke (G)DB
a
[795] % 
[795] % cat small.smt2
(set-option :unsat_core true)
(declare-fun a () Bool)
(assert (or a a))
(check-sat-using ufbv-rewriter)
[796] %