La estrategia de ramificación está a cargo de la función "Expandir".