Module Strongconflicts_int.SG


module SG: Defaultgraphs.IntPkgGraph.G