Chapter 9 - Loop Analysis