Add several [NotNull] attributes.