For other CodeQL resources, including tutorials and examples, see the
Gets a reachable read of the same underlying assignable. That is, a read
that can be reached from this read, and which is guaranteed to read the
This is the transitive closure of getANextRead().