Benefits and Limitations of Simplifying Abstractions