Given a graph that looks like this:
A -> M{status: 1, uid: 0xa}
B -> M{status: 1, uid: 0xb}
are they really distinct statuses? Perhaps the graph-ness should be taken into account and when inserting the UID of distinct status messages should be kept?