let localbar = Util.Progress.create "Strongconflicts_int.local"