WyC: completed classification of failing verification tests.  Phew!!!