Ensure that HandlePHINodesInSuccessorBlocks is run for all blocks,