let promela_file = ref ""