Predicate defaultSourceSinkIsRelated
Holds if either source strictly dominates sink, or sink strictly
post-dominates source.
Import path
import semmle.code.cpp.security.flowafterfree.FlowAfterFreepredicate defaultSourceSinkIsRelated(Node source, Node sink)