let
setLtl_expressions exps =
(* Ltl_logic.setLtl_expressions exps;*)
ltl_exps:=exps