dunque:

i puntatori che puntano a null non vanno deallocati semplicemente puntano a niente e niente è già deallocato :-) )

con tdl=null azzeri la lista, ma la azzeri solo se togli l'ultimo elemento rimasto....cioè
la funzione ogni volta che viene chiamata dealloca l'ultimo elemento in lista ... quindi ad esempio per azzerare una lista con tre elementi dovresti chiamare EstrazioneC() tre volte, ma ogni volta che richiami EstrazioneC() si dealloca esattamente un solo elemento, in sintesi per come è fatta la funzione
la memoria si dealloca correttamente e non restano puntatori "spaiati" :-)

non so se sono stato chiaro :-)