WyC: further fixes to test cases previously thought to be correct.
WyC: continuing to update valid test cases to ensure that all variables are properly declared.