QVT — Missing iterator variable in resolve expressions

A resolution operator implies iteration over the list of objects
transformed from a source element. However no iteration variiable
is represented.

Suggestion:
Define ResolveExp as a subclass of ImperativeLoopExp.
As a consequence, the field ResolveExp::condition can be
removed (since already contained by ImperativeLoopExp)

NOTE: This resolution should not be applied since superseded by resolution 10925.

A Resolution operator implies iteration over the list of objects
transformed from a source element. However no iteration variiable
is represented.

RESOLUTION:
(1) In Section 8.2.1.22 (ResolveExp), define ResolveExp as a subclass
of ImperativeLoopExp by replacing "CallExp" by "ImperativeLoopExp".
(2) In the same section 8.2.1.22, remove the association 'condition'
(since already contained by ImperativeLoopExp)
(3) In Figure 8.3, remove the link ResolveExp::condition and replaces
inheritance of ResolveExp so that it inherits from "ImperativeLoopExp"