Modify automatic error expression writing to obtain error expressions after each iteration for loops

[Himeshi]

The current automatic error expression generation stores the last expression. Check how this works for loops to try to perforate loops with our framework (we need to be able to get error expressions after each iteration).