A EdgeType.ControlEdge additionally carries what decides whether its target runs. This is the very ControlDependency the vertices behind the edge carry in their cds, so the two never say different things about the same branch.
cds
A EdgeType.ControlEdge additionally carries what decides whether its target runs. This is the very ControlDependency the vertices behind the edge carry in their
cds, so the two never say different things about the same branch.