Member predicate ControlCheck::dominatesCaller
Holds if this control check directly dominates caller.
predicate dominatesCaller(ExternalJob caller)Holds if this control check directly dominates caller.
predicate dominatesCaller(ExternalJob caller)