let print_assert_candidates config = config.print_assert_candidates