Class SymmetricDRAConstruction<R extends GeneralizedRabinAcceptance>