Member predicate Refinements::RefinementContext::appliesTo

Holds if refinement expression cand might be analyzed in this context.

predicate appliesTo(RefinementCandidate cand)