Code

Let the first operand of ANY/ALL iterators be an expression.