OCLの `iterate` 操作において、`acc`(累積変数)の初期値を定義する場所はどこか。

構文は `collection->iterate(elem; acc : Type = initExpr bodyExpr)` であり、引数リスト内で累積変数の宣言と初期化を行う。