Update model_checking_ltl.ml