added test for reachability