Fixed bug where one edge is traversed multiple times even if it's the same allocsite...