Appying what we have learned to perform analysis on program loops