simproc_disable_issue.lean:1:0-1:7: warning: declaration uses `sorry`
simproc_disable_issue.lean:6:0-6:7: warning: declaration uses `sorry`
simproc_disable_issue.lean:11:0-11:7: warning: declaration uses `sorry`