Analysis And Transformation Of Post-Conditions