Member predicate SsaVariable::getAnUltimateDefinition
Gets a variable that ultimately defines this variable and is not itself defined by another variable
Gets a variable that ultimately defines this variable and is not itself defined by another variable