Adding the loop bound analysis code