[LCSSA] Handle PHI insertion in disjoint loops