Predicate Internal::bbIDominates
Holds if dom is an immediate dominator of bb.
Import path
import semmle.code.csharp.controlflow.BasicBlockspredicate bbIDominates(BasicBlock dom, BasicBlock bb)Holds if dom is an immediate dominator of bb.
import semmle.code.csharp.controlflow.BasicBlockspredicate bbIDominates(BasicBlock dom, BasicBlock bb)