Add preliminary Distribution.condition_on()