Ну вот, а вы говорите "какая разница, прямо все или наоборот". %)

"правильная иерархия именно что и должна покрывать как можно больше графа" и "граф должен покрывать иерархию" -- совсем неодно и то же.

Потому что граф -- это наш внешний, совершенно произвольно абстрактный конструкт.
Вот у вас и получается,
что вместо разбирательства с подноготной проблемной области,
берется какая-то среднепотолочная абстракция -- и все остально потому пробуют втиснуть в неё.

Что, впрочем... вполне типичное поведение для программистов.

А потом они такие вылазят, и начинают крыть ЯП, ООП и вообще всех подряд... вплоть до фон Неймана,
за "огрниченность" и неспособность выразить их гениальные мысли в коде...
и дружно фапают на ФП. %)))