Value set: remove array-of-array special case#8653

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:no-special-casetautschnig/cbmc:no-special-caseCopy head branch name to clipboard