∀ (assignments : Array Lean.Compiler.LCNF.UnreachableBranches.Assignment)
  (funVals : Array Lean.Compiler.LCNF.UnreachableBranches.Value),
  sizeOf { assignments := assignments, funVals := funVals } = 1 + sizeOf assignments + sizeOf funVals