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