WyIL: Some tweaks to VcGenerator.