(motive : Unit × Lean.Compiler.LCNF.Simp.FunDeclInfoMap → Sort u_1) →
  (__discr : Unit × Lean.Compiler.LCNF.Simp.FunDeclInfoMap) →
    ((fst : Unit) → (s : Lean.Compiler.LCNF.Simp.FunDeclInfoMap) → motive (fst, s)) → motive __discr