WyIL: Updating VC Generator.  Needs work still.