transform Shl(x,Const) into Muls for more normalization