This update brings many and very important immediate improvements:

1. The number of false positives in error detection has been reduced an additional 33%.
2. Increased the analysis speed a 5%
3. Short-circuit detection rate increased 4.6%
4. General behavior improved: more robust and concise results.