WYIL: bug fix for VC generation and Code.Throw bytecodes.