CONTRATCS: force success for necessary pointer predicates #10840

Job	Run time
check-docker-image	21m 19s
check-macos-13-make-clang	24m 12s
check-macos-14-cmake-clang	1h 14m 53s
check-string-table	2m 10s
check-ubuntu-20_04-cmake-gcc	17m 31s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	3m 14s
check-ubuntu-20_04-cmake-gcc-THOROUGH	9m 53s
check-ubuntu-20_04-make-clang	22m 51s
check-ubuntu-20_04-make-clang-smt-z3	3m 44s
check-ubuntu-20_04-make-gcc	18m 36s
check-ubuntu-22_04-cmake-gcc	15m 59s
check-ubuntu-22_04-cmake-gcc-32bit	15m 25s
check-ubuntu-22_04-make-clang	18m 7s
check-ubuntu-24_04-cmake-gcc-14	19m 31s
check-vs-2019-cmake-build-and-test	31m 47s
check-vs-2022-make-build-and-test	19m 48s
include-what-you-use	23m 5s
windows-msi-package	5m 30s
	5h 47m 35s

Provide feedback