let max_unprocessed_assert_candidates = 0