Predicate Flow::ConsistencyChecks::uniqueDefiningScope
Import path
import codeql.dataflow.VariableCapture
predicate uniqueDefiningScope(CapturedVariable v, string msg)
import codeql.dataflow.VariableCapture
predicate uniqueDefiningScope(CapturedVariable v, string msg)