In this extended abstract, we describe a modular algorithm for determining whether all the residues of a t-simple function are constant, and an algorithm for solving a parametric problem related to constant residues. Both of them help us develop efficient algorithms for integrating functions within elementary extensions via additive decompositions.