docs: private void splitCurrentLabel(Label alternateSuccessor, List<Label> catchLabels) {
          Label newLabel = new Label();
          adopt(newLabel);
          currentLabel.primarySuccessor = newLabel;
          currentLabel.alternateSuccessor = alternateSuccessor;
          currentLabel.catchLabels = catchLabels;
          currentLabel = newLabel;
          currentLabel.marked = true;
      }