CONTRACTS: allow pointer predicates to fail in assume contexts
#10816
| Job | Run time |
|---|---|
| 2h 26m 28s | |
| 24m 41s | |
| 21m 50s | |
| 5h 19m 24s | |
| 18m 3s | |
| 6h 0m 16s | |
| 20m 54s | |
| 35m 39s | |
| 59m 12s | |
| 2m 7s | |
| 3m 33s | |
| 10m 22s | |
| 4m 32s | |
| 1h 21m 43s | |
| 48m 59s | |
| 41m 45s | |
| 22m 59s | |
| 8m 22s | |
| 20h 30m 49s |