Predicate MakeConsistency::uniquePostUpdate
Import path
import codeql.dataflow.internal.DataFlowImplConsistencypredicate uniquePostUpdate(Node n, string msg)import codeql.dataflow.internal.DataFlowImplConsistencypredicate uniquePostUpdate(Node n, string msg)