После распиcываний номеров состояний перешёл к возврату номера состояния (и ноль в конце конечной FSM) и не имею проблем при отладке. Логические ошибки к инструменту не имеют отношения. Я, IMNHO, применение этих макросов считаю очень важным инструментом. Использую достаточно давно и успешно, кое-что недостающее пришлось дописать. Считаю, что отмазки в сторону склероза есть чисто субъективные и судите о недостатках не исходя из опыта использования.