WyIL: continuing to update VcGenerator.