WyC: updates to test cases which are failing for the wrong reasons (i.e. because of missing variable declarations)
WyC: more updates to invalid test cases.