George Rennie

The check that volume is

I have the following example minimised from some BMC work where the presence of a `check-sat-assuming` call is changing the result of a following `check-sat` call. ```smt2 (set-option :produce-models true)...