(module Strongconflicts_int.CG)