[^anet] dfa: avoid false positives when method calls change state (IDEA-107604)
(cherry picked from commit 2cda0cd)
[^anna,maxim] IDEA-109222 Nullity is not inferred correctly.
(cherry picked from commit 97e82d7)