Field sensitivity: account for array size in all index expressions#8579

tautschnig merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:bugfixes/field-sensitivity-uniontautschnig/cbmc:bugfixes/field-sensitivity-unionCopy head branch name to clipboard