Refactor location, filename, and klabel attributes

**please review**
Because the maude backend sorts rules by their location and filename