Added user data property to RandomVariable.