[cvs-nhc98] patch applied (yhc): Write the simplifier using the unique variables precondition/postcondition

Back to the list