working on rewrite saving
added disjoint union vertex/edge name type