Здравствуйте, Blazkowicz, Вы писали:

B>На сколько практично применение такого инструмента в промышленых проектах?

Достаточно практично. На базе описанного в статье подхода был сделан автоматический вывод аннотаций @NotNull, @Nullable, @Contract в IntelliJ IDEA 14 — http://blog.jetbrains.com/idea/2014/10/automatic-notnullnullablecontract-inference-in-intellij-idea-14/.