ControlDependence

constructor(start: Node, end: Node, branches: Set<Boolean> = setOf())