update GeneralDiscreteDistribution patch with an example