Анализ на хвостовую рекурсию

Можно ли сделать макрос, который будет ругаться, если помеченный им метод не будет раскрываться в хвостовую рекурсию?

Пока на собственное сообщение не было ответов, его можно удалить.

Заголовок: