Member predicate SsaVariable::reachableWithoutDefinition

Whether it is possible to reach a use of this variable without passing a definition