Localization Versus Abstraction: A Comparison of Two Search Reduction Techniques