Dolmen "stops" at the first error

[aytey]

For a file such as:

(set-logic QF_LIA)
(push 1)
(declare-fun a () Int)
(declare-fun b () Int)
(assert (= 0 (* 2 (+ a b))))
(pop 1)
(push 1)
(declare-fun c () Int)
(declare-fun d () Int)
(assert (= 0 (* 2 (+ c d))))
(pop 1)

Dolmen only reports on the first "error".

(I used push/pop to make it clear that these should be "recoverable" errors; the same problem happens without incremental solving)

[Gbury]

It might be feasible to continue and report other errors when an error is reported in an assert, I'll try and look at it. (For errors in other statements, maybe we could then simply skip until the current scope is popped I guess).
I'll implement that (but it's probably going to be at a lower priority compared to the other bug reports).