Member predicate SSA::SsaVariable::getAnUltimateDefinition

Gets a variable that ultimately defines this variable and is not itself defined by another variable

SsaVariable getAnUltimateDefinition()