Predicate Cached::recordDataFlowCallSiteUnreachable
Holds if the call context call allows us to prune unreachable nodes in callable.
Import path
import semmle.code.java.dataflow.internal.DataFlowImplCommonpredicate recordDataFlowCallSiteUnreachable(DataFlowCall call, DataFlowCallable callable)