compute dominator tree children in a deterministic order that does not depend