Going through and classifying all outstanding verification errors.
Classified lots of the failing extended test cases.