Member predicate SSA::SsaRefinementNode::getRefinement

Gets the refinement associated with this definition.

Refinement getRefinement()