Decompose byte_extract from union through widest member#8950

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-8813-union-performancetautschnig/cbmc:fix-8813-union-performanceCopy head branch name to clipboard