Member predicate Refinements::RefinementCandidate::getARefinedVar

Gets a variable that is referenced somewhere in this expression.

SsaSourceVariable getARefinedVar()