let setLtl_expressions exps = 
  ltl_exps:=exps