1Tests that we can redirect branches if the block and its dominator 2have the same condition, or the exact opposite condition. 3