на уровне лексического разбора трудно определить, хвостовая рекурсия или нет. Часто даже ее нужно помечать, чтобы помочь компилятору.
Во-первых, несложно и пометить. А во-вторых, если мне удалось сделать автоматическую ТСО безо всяких пометок в своих интерпретаторах, то и другие думаю смогут