(motive : Unit × Lean.Compiler.LCNF.JoinPointCommonArgs.AnalysisState → Sort u_1) →
  (__discr : Unit × Lean.Compiler.LCNF.JoinPointCommonArgs.AnalysisState) →
    ((fst : Unit) → (analysis : Lean.Compiler.LCNF.JoinPointCommonArgs.AnalysisState) → motive (fst, analysis)) →
      motive __discr