SMT2 Incremental: Resolve duplicate and missing declarations#8909

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

tautschnig:fix-8072-smt2-incr-array-declstautschnig/cbmc:fix-8072-smt2-incr-array-declsCopy head branch name to clipboard