print_dot now generates an horizontal graph.