let ltl_tmp_file = ref ""