Create on_the_fly_LTL.ml