WyIL: More updates to the VcGenerator.

Postconditions are now working, though there are a few bugs I believe in
the current mechanism