IDEA-130773 Shorten inferred org.jetbrains.annotations.Nullable/NotNull names in javadoc
IDEA-130745 Incorrect auto cast after completion

* when merging dfa states, check that they're really equal after stripping complementary facts (there might be additional info in subclasses)
* merge in separate groups in one go