CONTRACTS: allow pointer predicates to fail in assume contexts
#10808
| Job | Run time |
|---|---|
| 21m 6s | |
| 11m 41s | |
| 56m 34s | |
| 2m 7s | |
| 1h 7m 56s | |
| 3m 8s | |
| 10m 7s | |
| 13m 25s | |
| 4m 55s | |
| 6m 33s | |
| 15m 32s | |
| 15m 26s | |
| 5m 49s | |
| 15m 34s | |
| 34m 8s | |
| 22m 43s | |
| 23m 16s | |
| 7m 6s | |
| 5h 37m 6s |