Analysis of Loops