Generalized semigroup equality to custom relations.
Rm generated file.