initial DOT graph representation of solution trees added