/* Initialize the node */
set_irn_dfn(n, current_dfn); /* Depth first number for this node */
/* Initialize the node */
set_irn_dfn(n, current_dfn); /* Depth first number for this node */
/* Initialize the node */
set_irn_dfn(n, current_dfn); /* Depth first number for this node */
/* Initialize the node */
set_irn_dfn(n, current_dfn); /* Depth first number for this node */