(motive : Lean.Language.SnapshotTask.ReportingRange → Lean.Language.SnapshotTask.ReportingRange → Sort u_1) →
  (x x_1 : Lean.Language.SnapshotTask.ReportingRange) →
    ((r r' : Lean.Syntax.Range) →
        motive (Lean.Language.SnapshotTask.ReportingRange.some r) (Lean.Language.SnapshotTask.ReportingRange.some r')) →
      ((x : Lean.Language.SnapshotTask.ReportingRange) →
          (r' : Lean.Syntax.Range) → motive x (Lean.Language.SnapshotTask.ReportingRange.some r')) →
        ((r? : Lean.Language.SnapshotTask.ReportingRange) →
            motive r? Lean.Language.SnapshotTask.ReportingRange.inherit) →
          ((x x_2 : Lean.Language.SnapshotTask.ReportingRange) → motive x x_2) → motive x x_1