Adds reachabilty check