code: private void addSuccessor(final int info, final Label successor) {
          // creates and initializes an Edge object...
          Edge b = new Edge();
          b.info = info;
          b.successor = successor;
          // ...and adds it to the successor list of the currentBlock block
          b.next = currentBlock.successors;
          currentBlock.successors = b;
      }
docs: Adds a successor to the {@link #currentBlock currentBlock} block.
  
  @param info
  information about the control flow edge to be added.
  @param successor
  the successor block to be added to the current block.