Puedo asumir que edadTCliente(TCliente cliente)>0 ó puede ser 0 también? porque
edadPromedioTClientesABB da 0 si un ABBClientes es vacío, pero no dice si y sólo si (y es útil(?) saber para escribir más eficiente la función que chequea si todos los ABB de la LDE son vacíos).
No creo que el asumir que la edad es estrictamente mayor que 0 sirva demasiado en términos de eficiencia, si tenemos en cuenta un contexto real donde esta "aplicación" sea usada. De todas formas si el .h no especifica esa precondición entonces no deberías asumirla.