∀ (ref : Lean.Syntax) (h? : Option Lean.Elab.Term.Do.Var) (optIdent cond : Lean.Syntax)
  (thenBranch elseBranch : Lean.Elab.Term.Do.Code),
  sizeOf (Lean.Elab.Term.Do.Code.ite ref h? optIdent cond thenBranch elseBranch) =
    1 + sizeOf ref + sizeOf h? + sizeOf optIdent + sizeOf cond + sizeOf thenBranch + sizeOf elseBranch