Predicate Make0::Make1::Make2::Additional::Consistency::multipleConditionalSuccessorKinds
Holds if node has conditional successors of different kinds.
The kind of a conditional successor is determined by the context
of the node. For example, a condition in an if statement has
boolean successors.
Import path
import codeql.controlflow.ControlFlowGraphpredicate multipleConditionalSuccessorKinds(ControlFlowNode node, ConditionalSuccessor t1, ConditionalSuccessor t2, ControlFlowNode succ1, ControlFlowNode succ2)