biodivine_lib_param_bn::bdd_params::_impl_witness_generator