It was also very useful to look at the false positives, and we were able to make two changes that reduced them by half:
1. Stop type-checking test files. No true positives were ever caught by this, and dynamic attrs from baker/setUpTestData are a common source of false positives