Disallowing cycles in control regions
ControlRegion formation rules to preserve DEP property