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