Predicate MakeConsistency::localFlowIsLocal
Import path
import codeql.dataflow.internal.DataFlowImplConsistency
predicate localFlowIsLocal(Node n1, Node n2, string msg)
import codeql.dataflow.internal.DataFlowImplConsistency
predicate localFlowIsLocal(Node n1, Node n2, string msg)