WyC: working through all test cases ensuring that all variables are properly declared.