WyIL: More updates to VcGenerator
WyIL: Further updates to VcGenerator.