Made copies of the files for the modified while prover, in anticipation of reverting original files back to their previous form so that the original while prover (i.e. with preconditions only) can co-exist with development of extended while prover (i.e. with postconditions) on the same branch. This is at Nikos' request, since he is making major modifications to the core of the system and wants to be able to verify that these are compatible with my extensions in an incremental fashion.
Reverted original while prover files and tests to the state they were in before extending code with postconditions; then applied patches to the files which brought them up to date with respect to changes made by Nikos on the master branch up to the point where I merged the master branch changes with my extensions (i.e. commit 64d6e00).
Modified Makefile and itargets file to include extended while prover and associated tests. Fixed  syntax error in two extended while prover tests.