Combining runtime checking and slicing to improve Maude error diagnosis