let get_computed_assert_candidates (statistic: statistic) : int =
  get statistic ID_ASSERT_CANDIDATES