WyIL: Good progress of VcGenerator.