Method addSucc

src/main/java/pascal/taie/util/graph/MergedNode.java:58–60

(MergedNode<N> succ)

    }

    void addSucc(MergedNode<N> succ) {
        succs.add(succ);
    }

    Set<MergedNode<N>> getSuccs() {
        return succs;