Better order of Aux relation labels

Orders relation labels by their most frequent appearance, so that heavily used ones are on top.