CONTRACTS: allow pointer predicates to fail in assume contexts
#10819
| Job | Run time |
|---|---|
| 12m 22s | |
| 4m 32s | |
| 5m 53s | |
| 11m 37s | |
| 1h 6m 20s | |
| 17m 22s | |
| 3m 14s | |
| 10m 43s | |
| 19m 17s | |
| 17m 0s | |
| 5m 43s | |
| 19m 22s | |
| 33m 41s | |
| 21m 39s | |
| 2m 12s | |
| 21m 25s | |
| 23m 19s | |
| 5m 16s | |
| 5h 0m 57s |