add reachability tests