Add bdd2dot code