let
descr =
"only generates the buchi automata (in Promela language) in file <s>"