Reduction Strategies for Program Extraction