Predicate dominates
Holds if dom dominates node. (This is reflexive.)
Import path
import javapredicate dominates(ControlFlowNode dom, ControlFlowNode node)Holds if dom dominates node. (This is reflexive.)
import javapredicate dominates(ControlFlowNode dom, ControlFlowNode node)