The nodes which are control-flow dominated, i.e., the children of the Control Dependence Graph (CDG).