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