sbv-7.5: SBVTestSuite/GoldFiles/exceptionRemote1.gold

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