write pre/post conditions comments and pseudo code