Member predicate Ssa::ExplicitDefinition::getADefinition

Gets an underlying assignable definition. The result is always unique, except for pathological out/ref assignments like M(out x, out x), where there may be more than one underlying definition.