Присоединяюсь к тому, что в данном случае ЦД особо и ничего не даёт, проход ведь до конца массива. IMHO наглядней даже без него, в теле тогда будет только IF без веток ELSE.
Несколько напрягает приспособление реализации алгоритма к случаю с пустым массивом.Это по идее надо обеспечивать в охватывающем коде (не вызывать или не выполнять, если не по чему считать). Тогда и последний INC stat будет безусловный.