WyIL: Minor updates to VcGenerator.