let
max_assert_candidates = 100000