Detect repeated contract enforcement in goto-instrument #11385

Job	Run time
check-ubuntu-24_04-make-clang	13m 42s
check-ubuntu-24_04-make-gcc	20m 10s
check-ubuntu-24_04-make-clang-smt-z3	6m 37s
check-ubuntu-22_04-cmake-gcc	15m 44s
check-string-table	1m 45s
check-ubuntu-24_04-arm-cmake-gcc	11m 24s
check-ubuntu-22_04-make-clang	6m 5s
check-ubuntu-24_04-cmake-gcc-14	14m 23s
check-docker-image	20m 8s
check-ubuntu-24_04-cmake-gcc	31m 28s
check-ubuntu-22_04-cmake-gcc-32bit	15m 36s
check-ubuntu-24_04-cmake-gcc-THOROUGH	20m 50s
include-what-you-use	14m 58s
check-ubuntu-24_04-cmake-gcc-KNOWNBUG	17m 57s
check-macos-14-cmake-clang	1h 54m 2s
windows-msi-package	28m 19s
check-macos-15-intel-make-clang	1h 0m 15s
check-vs-2022-make-build-and-test	35m 48s
check-vs-2025-cmake-build-and-test	58m 19s
	8h 27m 30s

Provide feedback