Simplify byte extract: support signed and unsigned offsets#7705

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:bugfixes/byte-extract-typingtautschnig/cbmc:bugfixes/byte-extract-typingCopy head branch name to clipboard