WyC: updated a truck load of the invalid test cases to ensure that (where appropriate) the lack of variable declarations wasn't the reason for the test failing.