WyIL: bug fix for #341
WyC: updated a few verification tests which are now passing.