Так как .net имеетTailCall код операции, это можно использовать для определения, если функция F # действительно хвостовая рекурсивная?

Если это правда, кто-нибудь сделал надстройку VS, которая идентифицирует функции хвоста и не хвоста?