add graphviz rendering of term DAGs