OCL21 — sub evaluations (in the sequence bodyEvals)

4. – [2] All sub evaluations (in the sequence bodyEvals) have a different
– environment. The first sub evaluation will start with an environment in which
– all iterator variables are bound to the first element of the source. Note that
– this is an arbitrary choice, one could easily well start with the last element
– of the source, or any other combination.
context LoopExpEval
inv: let bindings: Sequence( NameValueBindings ) =
iterators->collect( i |
NameValueBinding( i.varName, source->asSequence()->first() )
in
bodyEvals->at(1).environment = self.environment->addAll( bindings )
==> missing closing bracket before ’in’

yes