Improved dot output for more concise graphs