CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks #10844
| Job | Run time |
|---|---|
| 35m 30s | |
| 59m 37s | |
| 17m 10s | |
| 3m 37s | |
| 10m 25s | |
| 24m 0s | |
| 3m 44s | |
| 18m 21s | |
| 15m 20s | |
| 14m 43s | |
| 16m 53s | |
| 14m 57s | |
| 32m 54s | |
| 21m 9s | |
| 22m 0s | |
| 2m 12s | |
| 23m 4s | |
| 6m 39s | |
| 5h 42m 15s |