let
ltl_expressions_iter func =
Hashtbl
.iter func !ltl_exps