B3 IntRange analysis should know more about shifting