Module Strongconflicts_int.SG

module SG: Defaultgraphs.IntPkgGraph.G