let
stronglist =
Defaultgraphs
.
PackageGraph
.succ_list