Replace auto-down with auto-down-unreachable-after