Rl = reachable(D, L)
Rs = reachable(D, S)
Given a collection of vertices of a digraph, the reachable vertices are those that are on a path away from a vertices in the collection.
The object reachable is a method function.