Merge pull request #2963 from danpoe/refactor/error-handling-solvers-smt2

Error handling cleanup in solvers/smt2

Author: tautschnig