∀ (symState : Lean.Meta.Sym.State) (grindState : Lean.Meta.Grind.State) (goals : List Lean.Meta.Grind.Goal),
  sizeOf { symState := symState, grindState := grindState, goals := goals } =
    1 + sizeOf symState + sizeOf grindState + sizeOf goals