lazyUnfoldingPerfIssue.lean:59:8-59:11: warning: declaration uses `sorry`