Added recursive reachability example for DAGs.