Add saturating arithmetic support to SMT2 incremental solver#8774

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-8070-inc-smt-saturatingtautschnig/cbmc:fix-8070-inc-smt-saturatingCopy head branch name to clipboard