Predicate Make0::Make1::Make2::Additional::Consistency::nonUniqueInConditionalContext
Holds if n is in a conditional context with multiple condition kinds.
For inConditionalContext(n, kind), the kind must be unique for a given n.
Import path
import codeql.controlflow.ControlFlowGraphpredicate nonUniqueInConditionalContext(AstNode n)