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