(motive : Option (Lean.Name × Except Lean.Macro.Exception Lean.Syntax) → Sort u_1) →
  (__do_lift : Option (Lean.Name × Except Lean.Macro.Exception Lean.Syntax)) →
    ((_decl : Lean.Name) → (stxNew? : Except Lean.Macro.Exception Lean.Syntax) → motive (some (_decl, stxNew?))) →
      ((x : Option (Lean.Name × Except Lean.Macro.Exception Lean.Syntax)) → motive x) → motive __do_lift