Predicate strictlyDominates
Holds if dom strictly dominates node.
Import path
import semmle.code.java.controlflow.Dominancepredicate strictlyDominates(ControlFlowNode dom, ControlFlowNode node)Holds if dom strictly dominates node.
import semmle.code.java.controlflow.Dominancepredicate strictlyDominates(ControlFlowNode dom, ControlFlowNode node)