Fix array refinement crash with CaDiCaL SAT solver#8849

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:arrays/get-fixuptautschnig/cbmc:arrays/get-fixupCopy head branch name to clipboard