Note that for clarity this diagram does not show some of the evaluations, for example the equality tests or subtractions.
