(motive : Lean.Name × Lean.Compiler.LCNF.Simp.ConstantFold.Folder → Sort u_1) →
  (x : Lean.Name × Lean.Compiler.LCNF.Simp.ConstantFold.Folder) →
    ((declName : Lean.Name) → (folder : Lean.Compiler.LCNF.Simp.ConstantFold.Folder) → motive (declName, folder)) →
      motive x