の大小関係を考えます。
コラッツパターンは、下位からの繰り上がりが有ったり無かったりするので、
Upper_nbit xs < xsA
です。Upper_nbitは上位nビットを取るものです。
左端を伸ばすパターンは、下位からの繰り上がりが有ったり無かったりするので、
ysB < Upper_nbit ys
です。
Upper_nbit ys < Upper_nbit xsは自明なので、まとめると、
ysB < Upper_nbit ys < Upper_nbit xs < xsA
となります。