I always write a negative “is empty” check as “size > 0” for this reason