{motive : Lean.Compiler.LCNF.FindUsed.Context → Sort u} →
  (t : Lean.Compiler.LCNF.FindUsed.Context) →
    ((decl : Lean.Compiler.LCNF.Decl Lean.Compiler.LCNF.Purity.pure) →
        (params : Lean.FVarIdSet) → motive { decl := decl, params := params }) →
      motive t