Fixes two issue in SimplifyDemandedBits of sext_in_reg: