let
ltl_tmp_file = ref
""