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