reachability graph