WyIL: Bug fix for #435.

There was a problem related to the construction of postconditions and
their input variables.