Chore: Fixed non-deterministic with only one assumed timeout instead of two#5770

keyboardDrummer merged 2 commits intomasterdafny-lang/dafny:masterfrom

chore-flaky-5753-fixdafny-lang/dafny:chore-flaky-5753-fixCopy head branch name to clipboard