CONTRACTS: fix do while latch #10360

Job	Run time
check-docker-image	20m 58s
check-macos-12-cmake-clang	1h 0m 30s
check-macos-13-make-clang	17m 4s
check-string-table	2m 9s
check-ubuntu-20_04-cmake-gcc	19m 47s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	2m 54s
check-ubuntu-20_04-cmake-gcc-THOROUGH	9m 58s
check-ubuntu-20_04-make-clang	14m 29s
check-ubuntu-20_04-make-clang-smt-z3	3m 50s
check-ubuntu-20_04-make-gcc	6m 23s
check-ubuntu-22_04-cmake-gcc	16m 49s
check-ubuntu-22_04-cmake-gcc-32bit	14m 50s
check-ubuntu-22_04-make-clang	8m 50s
check-ubuntu-24_04-cmake-gcc-14	16m 13s
check-vs-2019-cmake-build-and-test	31m 28s
check-vs-2022-make-build-and-test	19m 19s
include-what-you-use	22m 54s
windows-msi-package	20m 56s
	5h 9m 21s

Provide feedback