fix: refine how simp tracks unfolded local definitions
#10533
This job was skipped
Loading
simp tracks unfolded local definitions
#10533