Finished the loop bound analyzer