let
ltl_to_promela =
Hashtbl
.create 7