(set-option :proof true) 
(declare-fun a (Int Int Real) Real) 
(assert (= 0 0)) 
(assert (forall ((?b Real)) (= (a 0 0 ?b) 0.0))) 
(check-sat-using ufbv-rewriter)

ASSERTION VIOLATION
File: ../src/tactic/goal.cpp
Line: 258
f == m().get_fact(pr)
(C)ontinue, (A)bort, (S)top, (T)hrow exception, Invoke (G)DB