an attempt to combine @NotNull and @Nullable analysis

experiments show that this is not-optimal, since in many cases either @NotNull or @Nullable produces early result.