WyC: working through test cases ensuring that variables are always declared.  This is a very slow and laborious task, unfortunately.