elseStatementEdge
This represents a single or block of statements that are executed when the loop terminates regularly, e.g. the loop finishes iterating over all elements or the loop-condition evaluates to false. The exact situation when this is happening depends on the language that supports an else
-Statement at loop level. E.g. in Python the elseStatement is executed when the loop was not left through a break.