Did you considered dropping `src` parameter? That information is encoded in DependencyEdge already. Once we remove that parameter, we can also remove asserts that check for consistency between those two sources of the same information.