dfa: avoid false positives when method calls change state (IDEA-107604)
IDEA-107195 Methods returning primitive types should be treated as @Nonnull
IDEA-106884 Detect that string concatenation produces not-null result
protobuf 2.5
protobuf 2.5.0 follow-up