Member predicate Assignable::AssignableRead::getAReachableUncertainRead

Gets a next uncertain read of the same underlying assignable. That is, a read that can be reached from this read, and which may read the same value.

This is the transitive closure of getANextUncertainRead().

AssignableRead getAReachableUncertainRead()