discreteRV updates particularly regarding conditionals