added processing of definite integrals