WyIL: Updating VcGenerator still.