fixed bug: some edges in undirected graphs were missed in graphviz