Array_UF21 does not always work with incremental SMT back-end#7501

thomasspriggs merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:cleanup/failing-testtautschnig/cbmc:cleanup/failing-testCopy head branch name to clipboard