Predicate Flow::ConsistencyChecks::uniqueReadVariable
Import path
import codeql.dataflow.VariableCapturepredicate uniqueReadVariable(VariableRead vr, string msg)import codeql.dataflow.VariableCapturepredicate uniqueReadVariable(VariableRead vr, string msg)