Added GraphDOTHelper for CompactDFA