Buen punto!
La condición en ese sentido se justifica.
La restricción buscaba evitar simplemente que se llamara recursivamente por un subárbol cuando ya se obtuvo la solución por otro o se recorriera un subárbol más de una vez.
Voy a agregar la condición en la solución.
Saludos Carlos