fix: grind order equality propagation for Nat
#19397
| Job | Run time |
|---|---|
| 29s | |
| 29s |
grind order equality propagation for Nat
#19397
| Job | Run time |
|---|---|
| 29s | |
| 29s |