Predicate dominates
Holds if dom dominates node. (This is reflexive.)
Import path
import semmle.code.java.controlflow.Dominancepredicate dominates(ControlFlowNode dom, ControlFlowNode node)Holds if dom dominates node. (This is reflexive.)
import semmle.code.java.controlflow.Dominancepredicate dominates(ControlFlowNode dom, ControlFlowNode node)