Symbol: unifyrules_sortcmp