let
strongset =
Defaultgraphs
.
PackageGraph
.succ_set