Add some CheckForNull and Nullable annotations