let inc_computed_split_candidates (statistic: statistic) : unit =
  inc statistic ID_SPLIT_CANDIDATES