Comment by theteapot

> Who actually considers a loop a branch?

A loop contains a branch - keep looping or break. At least according to structured programming -- https://en.wikipedia.org/wiki/Structured_program_theorem.