let strongset = Defaultgraphs.PackageGraph.succ_set