When TFSS are defined over signature modules this is not the case, because signature modules may include anonymous nodes.
the standard definition of TFSS is modified such that every path in a TFS is assigned a node in the signature module over which it is defined, rather than a type.