(declare-fun a ((Array Int (Array Int Int)) (Array Int (Array Int Int))) (Array Int (Array Int Int)))
(assert (forall ((b Int) (c Int) (d (Array Int (Array Int Int))) (e (Array Int (Array Int Int))))
     (let ((f (a d e))) (= 0 (select (f c) b)))))
(check-sat-using qe_rec)

ASSERTION VIOLATION
File: ../src/qe/qe_arith.cpp
Line: 68
m.canceled() || m.is_true(val)
(C)ontinue, (A)bort, (S)top, (T)hrow exception, Invoke (G)DB