Dynamic dominators and low-high orders in DAGs