Simplify IntDomTuple witness invariants
#2180
| Job | Run time |
|---|---|
| 9m 36s | |
| 9m 36s |
IntDomTuple witness invariants
#2180
| Job | Run time |
|---|---|
| 9m 36s | |
| 9m 36s |