extracting Subroutine
Extended analyzer
@Nullable result: one more iteration

Changes:
1. Set of dereferenced calls during building a fix-point of frames
2. Only calls to `this` are de-virtualized
delta in data
just data for @Nullable result
an attempt to propagate nullity information

this reduces the number of false positives
delta in data
aggressive propagation of @NotNull information

it removes a lot of false positives
delta in data