(undocumented)
1. prolog::bdd_to_probability_sum_product_3::bdd_to_probability_sum_product/3(int ARG1, int ARG2, int ARG3)():