when there are many edges pointing from 'from' to different 'to', these edges are sorted by priority then we continue dfs starting from the highest priority this priority is now well this edge answers the question "how did from->type occur, why is it not expected_type?" for example, if from is mixed and to is mixed, it's the best answer: further we'll have to find out why to is mixed
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected