Lean.Parser.Tactic.allGoals : ParserDescr
splitIfIssue.lean:233:0-233:7: warning: declaration uses `sorry`
splitIfIssue.lean:244:0-244:7: warning: declaration uses `sorry`