Цепочка как раз совершенно тривиально разруливается - собираем весь код из неё в одной функции, дальше чуток магии с флагами, чтобы эмулировать отсутствие goto (или нужный опкод есть в JVM? хз). И анализ получается довольно простой. Вот где это действиельно сломается - это когда где-то в рантайме будет определяться, какую функцию отдать аргументом, который будет потом использован для tail call. И да, это нормлаьный функциональный код. Но поскольку людей, думающих таким образом, примерно на пару порядков меньше, чем тех, кто рвется писать на функциональщине, то такого кода мало, и для него можно оставить существующее поведение. Обычно же фанаты начинают переписывать функционально даже то, что императивно пишется проще и читбельнее.

Впрочем, в одной вещи я ошибся - решил, что в Clojure нет нормального цикла. А он есть.