Description of the illustration sequence_iterator_choice
FOR iterator SEQUENCE => expr