Symbol: addToEquivClass