Hola.
Esto que preguntás es muy importante.
Cuando utilizamos punteros, lo que se copia cuando se pasa el parámetro es el puntero, pero la memoria apuntada por este no se copia.
Entonces, dentro de la función tenemos una copia del puntero que apunta a la raiz del árbol izquierdo y derecho que vamos a usar para armar el nuevo árbol. Estos árboles no se copiaron.
Se entiende?