let seedingbar = Util.Progress.create "Strongconflicts_int.seeding"