This provides a total ordering of values according to when their definition appears in the dominator tree pre-order.