let inc_computed_assert_candidates (statistic: statistic) : unit =
  inc statistic ID_ASSERT_CANDIDATES