let ltl_to_promela = Hashtbl.create 7