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