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