Rewrite byte_extract from multi-dimensional array#8705

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:byte_extract-multi-dim-arraytautschnig/cbmc:byte_extract-multi-dim-arrayCopy head branch name to clipboard