fix shift overflow in irep_hash_container#493

kroening merged 2 commits intodiffblue:masterdiffblue/cbmc:masterfrom

mgudemann:fix_shift_overflow_irep_hash_containermgudemann/cbmc:fix_shift_overflow_irep_hash_containerCopy head branch name to clipboard