(motive : Option Lean.Compiler.LCNF.FixedParams.AbsValue → Sort u_1) →
  (x : Option Lean.Compiler.LCNF.FixedParams.AbsValue) →
    ((val : Lean.Compiler.LCNF.FixedParams.AbsValue) → motive (some val)) →
      ((x : Option Lean.Compiler.LCNF.FixedParams.AbsValue) → motive x) → motive x