(motive : Lean.Name × System.FilePath × Std.HashMap Lean.Name Lean.MessageData → Sort u_1) →
  (x : Lean.Name × System.FilePath × Std.HashMap Lean.Name Lean.MessageData) →
    ((b : Lean.Name) → (snd : System.FilePath × Std.HashMap Lean.Name Lean.MessageData) → motive (b, snd)) → motive x