bernoulli_event_prob_nonneg