This transformation requires changing OpPhi instructions at the convergence block into OpSelect instructions. This is currently done at the end of applying the transformation, but by then the OpPhi instructions in the convergence block may have changed, in the cases where side effect wrapper blocks were added to account for loads and stores. It should instead be done at the beginning of applying the transformation.