For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Holds if refinement expression cand might be analyzed in this context.
cand
predicate appliesTo(RefinementCandidate cand)