CONTRACTS: allow pointer predicates to fail in assume contexts
#3639
| Job | Run time |
|---|---|
| 2m 0s | |
| 10m 3s | |
| 12m 3s |
assume contexts
#3639
| Job | Run time |
|---|---|
| 2m 0s | |
| 10m 3s | |
| 12m 3s |