let ltl_file = ref ""