Avoiding Premature S Abstractions