Import path
import codeql.dataflow.internal.DataFlowImplCommon
predicate recordDataFlowCallSiteUnreachable(DataFlowCall call, DataFlowCallable c)
import codeql.dataflow.internal.DataFlowImplCommon
predicate recordDataFlowCallSiteUnreachable(DataFlowCall call, DataFlowCallable c)