refactored the loop bound analyzer