This algorithm returns all reachable leaf nodes from a given origin,
or all root nodes that can reach a given destination.