Nas linhas 15 a 25 a função testa para qual ramo da árvore irá seguir, direito ou esquerdo, chamando novamente a função de inserção de forma recursiva.

Na linha 3 temos um teste condicional simples que tem como objetivo verificar se a árvore binária está completamente vazia, ou não. Verifica se AQUELE ELEMENTO está vazio, não a arvore toda;

Todo o código colocado entre as linhas 15 e 25 poderiam estar dentro de um SENÃO que faz parte da condicional da linha 4. Não seria possível isso, pois as linhas 15 a 25 precisam ser executadas independentemente da condição da linha 3;

Na linha 2 temos a declaração da função, onde o primeiro parâmetro é uma variável que foi declarada com dois asteriscos (**). Deveria ser somente um, pois dois asteriscos não são permitidos na linguagem C. É permitido e está correto. Porque temos um ponteiro para outro ponteiro, caracterizando dois asteriscos;

O uso do um asterisco antes do nome da variável, como na linha 3 por exemplo, significa que queremos manipular o endereço daquela variável. O asterisco indica o conteúdo indireto para qual o ponteiro aponta.