WyC: Bug fix for Postcondition Generation #435

This is a bug which is confirmed to have existed before, but somehow got
through.  I'm not quite sure how!