Error handling cleanup in solvers/flattening 6#2940

tautschnig merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

danpoe:refactor/error-handling-solvers-flattening-from-boolbv-withdanpoe/cbmc:refactor/error-handling-solvers-flattening-from-boolbv-withCopy head branch name to clipboard