export into dot file allowing visualization with, for instance, graphviz