Simplifier: do not create extractbits with pointer type#8678

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

tautschnig:fixup-typecast-simptautschnig/cbmc:fixup-typecast-simpCopy head branch name to clipboard