FINAL: "OK, we got: Data.SBV: Unexpected response from the solver, context: assert"
DONE!