Update pre-conditions and post-condtions