Use NonNull analysis everywhere.