fix: refine how simp tracks unfolded local definitions
#13920
| Job | Run time |
|---|---|
| 41s | |
| 41s |
simp tracks unfolded local definitions
#13920
| Job | Run time |
|---|---|
| 41s | |
| 41s |