Make the no_zeros_in_inputs parameter of Prod() available to the user.