Module Strongconflicts.CG

module CG: Graph.Imperative.Graph.ConcreteLabeled(Defaultgraphs.PkgV)(CflE)