groupParallelEdges

Collapses parallel edges of the SAME (source, target, kind) into one, recording how many merged into the edge label ("×N") when it has no label. cascadingFault / symbolicallyReachable merge like summarizeByFunction (one tainted/infeasible contributor wins). Direction-sensitive: A→B and B→A stay distinct.