OCLの `iterate` 操作において、アキュムレータ(累積変数)の初期値は必須か。

`iterate(i; acc : Type = <初期値> <式>)` の構文において、アキュムレータの初期値設定は必須である。