Predicate MakeConsistency::localCallNodes
Import path
import codeql.dataflow.internal.DataFlowImplConsistency
predicate localCallNodes(DataFlowCall call, Node n, string msg)
import codeql.dataflow.internal.DataFlowImplConsistency
predicate localCallNodes(DataFlowCall call, Node n, string msg)