Mission_Time_LTL_to_Regular_Expression.Regex_Equivalence