WyIL: Working on VcGenerator.