Any hope for independently eliminating false positives from static checking?

Currently, it's [quite a list](https://github.com/posita/numerary/search?q=should+not+validate) (mostly `numpy` and `sympy` falsely claiming compliance).