Predicate MakeConsistency::storeStepIsLocal
Import path
import codeql.dataflow.internal.DataFlowImplConsistencypredicate storeStepIsLocal(Node n1, Node n2, string msg)import codeql.dataflow.internal.DataFlowImplConsistencypredicate storeStepIsLocal(Node n1, Node n2, string msg)