WYCS: lots of tweaks to bring the invalid test cases up to scratch with the new syntax.
WYCS: tweaks