public void removePredecessor(StatEdge edge) {

    if (edge == null) {  // FIXME: redundant?
      return;
    }

    removeEdgeInternal(EdgeDirection.BACKWARD, edge);
  }
public void removePredecessor(StatEdge edge)