let max_assert_candidates = 100000