let descr = "considers the property described by the buchi automata (in
  Promela language) from file <f>."