if (parent == -1) {
continue;
}
EdgeInCut cutEdge =
new EdgeInCut(eqClassElem, parent, partition.get(eqClassElem),
partition.get(parent));
result.addEdge(new LabeledEdge<>(eqClassToNodeIndexMapping
.get(eqClassElem), eqClassToNodeIndexMapping.get(getEquivalenceClass(
parent, childRelations, partition)), cutEdge));
}