OCL25 — Missing/Poor definition of iterate()

The non-normative text defines iterate() and suggests that all iterators may be defined in terms of iterate() and notes that the use of iterate() on Bag/Set is indeterminate.

The normative text omits iterate() and states that all iterators are defined in terms of iterate().

Suggest: Add iterate() to Section 11.

Suggest: explicitly asSequence() all unordered iterate() inputs.

Suggest: retract availability of iterate() on Bag/Set forcing an explicit asSequence().