∀ (discrCtorMap : Lean.FVarIdMap Lean.Compiler.LCNF.Simp.CtorInfo) (ctorDiscrMap : Lean.PersistentExprMap Lean.FVarId),
  sizeOf { discrCtorMap := discrCtorMap, ctorDiscrMap := ctorDiscrMap } = 1 + sizeOf discrCtorMap + sizeOf ctorDiscrMap