only the actual state, still to do: fix  add-recursion-semantic to : next node = smallest child.