This pass optimizes the following sequence
bb2: { _2 = const true; goto -> bb3; } bb3: { switchInt(_2) -> [false: bb4, otherwise: bb5]; }
into
bb2: { _2 = const true; goto -> bb5; }