Implement SMT2 incremental support for arithmetic integers#8776

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

tautschnig:fix-8074-inc-smt-integertautschnig/cbmc:fix-8074-inc-smt-integerCopy head branch name to clipboard