- dead_node_elimination: copies now node numbers, make debugging much easier