∀ (decision : Std.HashMap Lean.FVarId Lean.Compiler.LCNF.FloatLetIn.Decision)
  (newArms : Std.HashMap Lean.Compiler.LCNF.FloatLetIn.Decision (List Lean.Compiler.LCNF.CodeDecl)),
  sizeOf { decision := decision, newArms := newArms } = 1 + sizeOf decision + sizeOf newArms