Fix optimization pass order.
No need to assume that if/else bodies are nonempty.