[cvs-nhc98] patch applied (yhc): Change the simplifier, when doing pushing let's down inside a case it was making the binding unique, but not modifying them in the expression. Now it just goes excessive and obviously correct