Duplicate use of loop indices

The duplicate use of loop indices is no longer possible. For example, in place of

forall(f in union(f in Lsf) {f})

you now need to use

forall(f in union(ff in Lsf) {ff})