WyC: added new invalid test cases
WyC: minor tweaks to the only two invalid test cases which failed to convert.