added finite_support_integral_reduce