Generate for loops.
Ensure true-blocks and for-loops contain stmts