feat: make grind +premises more robust to bad suggestions
#14369
| Job | Run time |
|---|---|
| 2s | |
| 2s |
grind +premises more robust to bad suggestions
#14369
| Job | Run time |
|---|---|
| 2s | |
| 2s |