I need to get the index of an iterator. For instance I have a CallOperationAction which refers to a Class' Operation and takes a set of object as parameters. I need to check whether the passed objects are in number and types compatible with the related operation signature. To this end I am iterating on the Operation parameters as an ordered set and, inside the iterator, I'd like to check if the current parameter (in the right order) has the same type with the i-th object of the call operation action. I therefore need to get the iterator index/counter. Is there any way to do that?