let descr = "generates a dot file of the Buchi automata"