Flow-insensitive value set: don't create index expressions over non-array objects#8651

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:value-set-fi-fixtautschnig/cbmc:value-set-fi-fixCopy head branch name to clipboard