Changed DiscreteRandomVariable class.