How can I define a ForEach loop on the basis of the existing ForAll loop?