CONTRACTS: allow pointer predicates to fail in `assume` contexts #10823

Job	Run time
check-docker-image	21m 12s
check-docker-image	21m 12s
check-macos-13-make-clang	25m 28s
check-macos-13-make-clang	25m 28s
check-macos-14-cmake-clang	42m 30s
check-macos-14-cmake-clang	42m 30s
check-string-table	2m 9s
check-string-table	2m 9s
check-ubuntu-20_04-cmake-gcc	15m 43s
check-ubuntu-20_04-cmake-gcc	15m 43s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	3m 15s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	3m 15s
check-ubuntu-20_04-cmake-gcc-THOROUGH	8m 39s
check-ubuntu-20_04-cmake-gcc-THOROUGH	8m 39s
check-ubuntu-20_04-make-clang	24m 21s
check-ubuntu-20_04-make-clang	24m 21s
check-ubuntu-20_04-make-clang-smt-z3	3m 52s
check-ubuntu-20_04-make-clang-smt-z3	3m 52s
check-ubuntu-20_04-make-gcc	18m 28s
check-ubuntu-20_04-make-gcc	18m 28s
check-ubuntu-22_04-cmake-gcc	16m 38s
check-ubuntu-22_04-cmake-gcc	16m 38s
check-ubuntu-22_04-cmake-gcc-32bit	15m 18s
check-ubuntu-22_04-cmake-gcc-32bit	15m 18s
check-ubuntu-22_04-make-clang	17m 26s
check-ubuntu-22_04-make-clang	17m 26s
check-ubuntu-24_04-cmake-gcc-14	15m 43s
check-ubuntu-24_04-cmake-gcc-14	15m 43s
check-vs-2019-cmake-build-and-test	34m 10s
check-vs-2019-cmake-build-and-test	34m 10s
check-vs-2022-make-build-and-test	1m 1s
check-vs-2022-make-build-and-test	1m 38s
include-what-you-use	22m 57s
include-what-you-use	22m 57s
windows-msi-package	4m 42s
windows-msi-package	4m 42s
	9h 47m 41s

Provide feedback