let sctimer = Util.Timer.create "Strongconflicts_int.main"