improved reachability checks