CONTRATCS: force success for necessary pointer predicates #10838

Job	Run time
check-ubuntu-20_04-cmake-gcc	17m 44s
check-ubuntu-20_04-make-clang	23m 48s
check-ubuntu-20_04-make-clang-smt-z3	3m 55s
check-ubuntu-20_04-make-gcc	34m 31s
check-ubuntu-22_04-make-clang	17m 12s
check-macos-13-make-clang	26m 41s
check-macos-14-cmake-clang	1h 16m 41s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	3m 40s
check-ubuntu-20_04-cmake-gcc-THOROUGH	10m 17s
check-ubuntu-22_04-cmake-gcc	29m 33s
check-ubuntu-22_04-cmake-gcc-32bit	15m 11s
check-ubuntu-24_04-cmake-gcc-14	15m 28s
check-vs-2019-cmake-build-and-test	50m 31s
check-docker-image	21m 8s
check-string-table	2m 9s
check-vs-2022-make-build-and-test	36m 39s
include-what-you-use	23m 0s
windows-msi-package	22m 36s
	7h 10m 44s

Provide feedback