fix: apply ring normalizer to equalities coming from grind to core to lia
#18576
| Job | Run time |
|---|---|
| 2s | |
| 2s |
grind to core to lia
#18576
| Job | Run time |
|---|---|
| 2s | |
| 2s |