annotation

[Not implemented]
Any annotated loop should pick up the break statements automatically.

representation in the diagram

a) the break statement is in the main flow of actions inside the loop

b) the break statement is inside a non-annotated IF-statement or loop (which itself is inside the main loop).

[The arrow is dashed, curved and comes from the action that contains the return statement.]

In general, the break statements have the same zoom level as the loop zoom level.