В том то и дело что лет 8 назад у меня был клон который нормально читал логику, да приходилось читать 2 раза с проверкой для надежности.
Удобно то что он маленький и можно взять один инструмент, а не десяток.
У меня тоже допиленный, логику поменял уже 2 раза с одного хорошего производителя на другого, тесты все проходит, по этому и сел с анализатором смотреть что к чему.