Added test to demonstrate Mux lowering issue.

The IR says it can lower the Mux at IR level but after some local optimizations
it cannot lower the Mux anymore.