Hola. Está mal porque si el dato de la raíz no coincide con el del primero de la lista, debería probarse con el hermano del nodo. Además, no debería probarse con el nodo hermano si coincide el dato, ya que el árbol no tiene repetidos.
Como comentarios menores y de estilo: el ELSE ese está actuando de ELSIF, podrías poner un ELSIF. Además personalmente (y en general) creo que está bueno preguntar por una afirmación positiva en el IF (como t^.dato = l^.info) y dejarle el caso negativo al ELSE (ya que de otra manera leer el ELSE sería como leer una doble negación).
Saludos.