grind_nested_proofs.lean:3:0-3:5: warning: using 'exit' to interrupt Lean