Description

From the comments it is assumed that the range to check is lowerBound to upperBound inclusive of both upper and lower bound but, upperBound is not checked in implementation.

The loop is running **NOT **including a check for upperBound

Recommendation

Impact

From the documentation, the assumption is that the function is going to be used to check the range from lowerBound to upperBound and then from upperBound+1 to nextUpperBound

The impact in this case is if there exists an account that is liquidatable but comes exactly at upperBound it might not be checked and remain there creating bad debt on the system.