let stronglist = Defaultgraphs.PackageGraph.succ_list