Added test for generation of 'for all' (set loop)
Added generation of 'for all' set loop