(motive : Option Lean.Compiler.LCNF.UnreachableBranches.Value → Sort u_1) →
  (x : Option Lean.Compiler.LCNF.UnreachableBranches.Value) →
    ((v : Lean.Compiler.LCNF.UnreachableBranches.Value) → motive (some v)) → (Unit → motive none) → motive x