let
ltl_exps = ref (
Hashtbl
.create 1)