Fixed atom order for the trs clauses