estimado,
siempre que se establezca la pre-cond de que p no pertenece al abb, es correcto que no se considere el caso en que p ya estuviera en el abb. en caso contrario (insertar sin pre-cond), hay que considerarlo en el algoritmo o podrían insertarse repetidos y eso podría provocar un mal funcionamiento del abb.
salud