(Xronos) XronosCFG, setting entry and exit for the computation of
dominance.