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