Simplify shifts of concatenations#8948

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

tautschnig:simplify/shift-concattautschnig/cbmc:simplify/shift-concatCopy head branch name to clipboard