let
setLtl_expressions exps =
ltl_exps:=exps