(Graph) Loaded Graphs can be duplicates of existing Graphs

Writing a Graph to a disk and immediately loading it will lead to duplicate objects. In particular, Nodes will logically represent the same object, but will not share the same instance. This should probably be fixed?