C++/EqualRange: Add lowerBound, upperBound; loop invarant\