CheckCast ends basic blocks
Phi registers with undefined arguments removed