dominator subtree of this node. */
int pre_num; /**< pre-order graph-walk number */
int dom_depth; /**< depth in dominator-tree */
dominator subtree of this node. */
int pre_num; /**< pre-order graph-walk number */
int dom_depth; /**< depth in dominator-tree */