A neni to v dusledku to same, resp. neni tail rekurze implementovana pomoci tail callu? Ja si btw ze Scheme pamatuju, ze tam byly nejake docela prisne podminky na to, kdy se tail call mohl provest - v podstate zalezelo (celkem logicky) na tvaru rekurzivniho volani, snad jen primitivni rekurze se prevadela na tail cally.