pre-order traversal through dominator tree