let promela_file () =
  if Buchi.get () = "" then To_Buchi.get () else Buchi.get ()