Empty() always executes, loop was optimized, redundant return statement was removed