since the size will depend on the implementation (while DirectedGraph is just a trait), this is perhaps better named as approxStorageComplexity().