Тут (и в аналогичных местах) можно не делать эту проверку — просто не будет ни одной итерации цикла.