fixup! Simplify byte_extract(byte_update(...)) without overlap#7411

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:bugfixes/b-e-b-u-fixuptautschnig/cbmc:bugfixes/b-e-b-u-fixupCopy head branch name to clipboard