Fast and precise Python static analyzer (but still slow and very imprecise)