Fix array_exprt handling in incremental SMT2 procedure#8778

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

tautschnig:fix-8080-inc-smt-arraytautschnig/cbmc:fix-8080-inc-smt-arrayCopy head branch name to clipboard