Объяснение:

Это задачка на внимательность. В ветке else мы не отнимаем единичку у a, а присваиваем ей значение -1

Поэтому по итогу она и остаётся равной -1