changed the LTL_abstract1 file