WYIL: bug fix for modified operands being invalidated.
WYJC: bug fix for test harness.