pub fn label(rule: &ProofRule) -> String
Human-readable label describing the proof step (UI component form).