(motive : Lean.FVarId × Lean.Compiler.LCNF.FunDecl → Sort u_1) →
  (x : Lean.FVarId × Lean.Compiler.LCNF.FunDecl) →
    ((fst : Lean.FVarId) → (decl : Lean.Compiler.LCNF.FunDecl) → motive (fst, decl)) → motive x