CONTRACTS: allow pointer predicates to fail in assume contexts
#10806
| Job | Run time |
|---|---|
| 42m 28s | |
| 6h 0m 16s | |
| 3m 11s | |
| 10m 2s | |
| 24m 57s | |
| 4m 56s | |
| 19m 17s | |
| 6h 0m 16s | |
| 6h 0m 14s | |
| 17m 50s | |
| 6h 0m 17s | |
| 20m 59s | |
| 6h 0m 21s | |
| 2m 8s | |
| 6h 0m 8s | |
| 27m 2s | |
| 23m 2s | |
| 5m 32s | |
| 1d 15h 22m 56s |