∀ (preState : Lean.Meta.SavedState) (preGoal : Lean.MVarId) (tacticBuilders : Array Aesop.Script.TacticBuilder)
  (tacticBuilders_ne : autoParam (0 < tacticBuilders.size) Aesop.Script.LazyStep.tacticBuilders_ne._autoParam)
  (postState : Lean.Meta.SavedState) (postGoals : Array Lean.MVarId),
  sizeOf
      { preState := preState, preGoal := preGoal, tacticBuilders := tacticBuilders,
        tacticBuilders_ne := tacticBuilders_ne, postState := postState, postGoals := postGoals } =
    1 + sizeOf preState + sizeOf preGoal + sizeOf tacticBuilders + sizeOf tacticBuilders_ne + sizeOf postState +
      sizeOf postGoals