∀ {pu : Lean.Compiler.LCNF.Purity} (info : Lean.Compiler.LCNF.CtorInfo) (code : Lean.Compiler.LCNF.Code pu)
  (h : autoParam (pu = Lean.Compiler.LCNF.Purity.impure) Lean.Compiler.LCNF.Alt._auto_3)
  (info_1 : Lean.Compiler.LCNF.CtorInfo) (code_1 : Lean.Compiler.LCNF.Code pu)
  (h_1 : autoParam (pu = Lean.Compiler.LCNF.Purity.impure) Lean.Compiler.LCNF.Alt._auto_3),
  (Lean.Compiler.LCNF.Alt.ctorAlt info code h = Lean.Compiler.LCNF.Alt.ctorAlt info_1 code_1 h_1) =
    (info = info_1 ∧ code = code_1)