This update brings many and very important immediate improvements: The number of false positives in error detection has been reduced an additional 33%. Increased the analysis speed a 5% Short-circuit detection rate increased 4.6% General behavior improved: more robust and concise results.