public void addSuccessor(StatEdge edge) {
    addEdgeInternal(EdgeDirection.FORWARD, edge);

    if (edge.closure != null) {
      edge.closure.getLabelEdges().add(edge);
    }

    edge.getDestination().addPredecessor(edge);
  }
public void addSuccessor(StatEdge edge)