Predicate Flow::ConsistencyChecks::uniqueCallableLocation
Import path
import codeql.dataflow.VariableCapturepredicate uniqueCallableLocation(RelevantCallable c, string msg)import codeql.dataflow.VariableCapturepredicate uniqueCallableLocation(RelevantCallable c, string msg)