transformToEdgeSplitSSA

For every edge leading from a multiple-out block to a multiple-in block, split it by inserting a new block along it. Note that we do this regardless of whether the target block has any phi functions.