Member predicate Refinements::VarRefinementContext::appliesTo

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

predicate appliesTo(RefinementCandidate cand)