Add option witness.invariant.all-locals to only print locals definitely in scope
#9940
| Job | Run time |
|---|---|
| 8m 36s | |
| 8m 55s | |
| 0s | |
| 19m 7s | |
| 36m 38s |