if two control flows enter an action it implies there are two tokens runnning. To have the alternative version right in terms of UML activity there is need for a merge before it enters the action "Iterator ++".