On the Caching Schemes to Speed Up Program Reduction