unfold() of for statement is finished. Try to unfold embedded blocks.