Termination criterion

When the best node chosen for expansion turns outh to be a final leaf (i.e., at leven n), that is when the node algorithm terminates, and that the node corresponds to the optimal solution