Product binomial-probability-distribution not found