primarySuccessorLabel = -1; verifyValidExitPredecessor(block);
primarySuccessorLabel = -1; verifyValidExitPredecessor(block);
primarySuccessorLabel = -1; verifyValidExitPredecessor(block);
primarySuccessorLabel = -1; verifyValidExitPredecessor(block);
primarySuccessorLabel = -1; verifyValidExitPredecessor(block);
primarySuccessorLabel = -1; verifyValidExitPredecessor(block);
primarySuccessorLabel = -1; verifyValidExitPredecessor(block);
primarySuccessorLabel = -1; verifyValidExitPredecessor(block);