+/* Performs dead node elimination by copying the ir graph to a new obstack.
+ Further removes Bad predecesors from Blocks and the corresponding
+ inputs to Phi nodes.
+ Attention: the numbers assigned to nodes if the library is compiled for
+ development/debugging are not conserved by copying. */