CodeQL library for C#
codeql/csharp-all 0.7.5 ( changelog , source )

Member predicate ConditionBlock :: immediatelyControls

Holds if basic block succ is immediately controlled by this basic block with conditional value s. That is, succ is an immediate successor of this block, and succ can only be reached from the callable entry point by going via the s edge out of this basic block.

predicate immediatelyControls ( BasicBlock succ , ConditionalSuccessor s )