∀ (config : Mathlib.Meta.FunProp.Config) (constToUnfold : Std.TreeSet Lean.Name Lean.Name.quickCmp)
  (disch : Lean.Expr → Lean.MetaM (Option Lean.Expr)) (transitionDepth : ℕ),
  sizeOf { config := config, constToUnfold := constToUnfold, disch := disch, transitionDepth := transitionDepth } =
    1 + sizeOf config + sizeOf constToUnfold + sizeOf transitionDepth