Add missing CheckForNull annotations