GraphID
These check for certain invariants that should be maintained by the dynamic data structure.
Bases: object
object
Checks that the negative metgraph is correctly book-kept.