You're right, and it's extremely hard to undo.

Once you have that complexity, you'll always be taking away something from somebody by simplifying.

So all simplifications end up as additional "if" clauses, defeating the purpose.