* requires no compute time. As firm nodes can not be freed and reallocated
* pointers for nodes are unique (until a call of dead_node_elimination).
*/
* requires no compute time. As firm nodes can not be freed and reallocated
* pointers for nodes are unique (until a call of dead_node_elimination).
*/