add check_reachable