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