Пойдем дальше, предположим верхнаяя протока называется "Верхняя". Получается что граф имен для реки А выглядит так А -> A; Верхняя -> А Выходит мы не можем утверждать что смена имени это обязательно ошибка. Можно проверять что есть связный путь name=А, но практического смысла в этом немного, потому что имена почти всегда поломаны именно в рукавах.