Нам действительно известно значение max_pwm_count: оно инициализируется 0 и никогда не назначается повторно. Следовательно, ЕСЛИ никогда не может быть правдой и ... так далее.
Что касается увеличения PWM_Count, ваше понимание кажется лучше, чем у автора, что ставит вас в разумную позицию для необходимой переписывания.
Я рекомендую сначала написать тестовую среду, чтобы вы могли наблюдать за ее поведением и получить правильные результаты в симуляции.