CONTRACTS: allow pointer predicates to fail in assume contexts
#10814
| Job | Run time |
|---|---|
| 25m 34s | |
| 6m 2s | |
| 4m 50s | |
| 19m 52s | |
| 20m 54s | |
| 30m 29s | |
| 1h 0m 33s | |
| 2m 8s | |
| 6m 26s | |
| 5m 56s | |
| 12m 52s | |
| 1h 19m 32s | |
| 5h 30m 24s | |
| 6h 0m 16s | |
| 50m 27s | |
| 42m 0s | |
| 8m 43s | |
| 23m 37s | |
| 18h 10m 35s |