WYIL: bug fix for invalidated variables caused by modified operands around a loop.