WyIL: More simple updates to VcGenerator