probabilistic 'for' construct for preserving nested loop structure.