Tests a graph implementation for specification conformance
Dependencies
TODO