Predicate Flow::ConsistencyChecks::uniqueEnclosingCallable
Import path
import codeql.dataflow.VariableCapturepredicate uniqueEnclosingCallable(RelevantBasicBlock bb, string msg)import codeql.dataflow.VariableCapturepredicate uniqueEnclosingCallable(RelevantBasicBlock bb, string msg)