Member predicate SSA::SsaVariable::reachableWithoutDefinition

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

predicate reachableWithoutDefinition()