Bugs fixed 'forall': iterating over the list and putting the current
item to the index operand.