Class RabinDegeneralization