introduce GroupedTrs ADT and refactor DPTrs
check model property while building labeled TRS