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