Member predicate SsaDefinition :: getAnUltimateDefiningValue
Gets a possible defining expression for v at this SSA definition,
recursing backwards through phi definitions. Not all definitions have a
defining expression—see the documentation for getDefiningValue.