Reachability added with basic network verification.