biodivine_lib_param_bn::bdd_params::_impl_bdd_params