(motive : Option Lean.Syntax.Range → Sort u_1) →
  (x : Option Lean.Syntax.Range) →
    ((start stop : String.Pos.Raw) → motive (some { start := start, stop := stop })) →
      ((x : Option Lean.Syntax.Range) → motive x) → motive x