fix: simp fails to discharge autoParam premises even when it can reduce them to True
#10027
| Job | Run time |
|---|---|
| 12m 31s | |
| 12m 31s |