Почему я все еще получаю кодовые контракты: обеспечить недоказанное предупреждение?

Ниже приводится очень простой пример. Когда я включаю предупреждения статического анализа, я все равно получаю Предупреждение CodeContracts: гарантирует недоказанность: Contract.Result ()! = String.Empty

в строке

return string.Format ("{0}, {1}", movie.Title, movie.Description);

См. мой код ниже

namespace CodeContractsSamples
{
    public class MovieRepo
    {
        public string GetMovieInfo(Movie movie)
        {
             Contract.Requires(movie != null);
             Contract.Ensures(Contract.Result<string>() != string.Empty);

             return string.Format("{0}, {1}", movie.Title, movie.Description);
         }
     }

      public class Movie
      {
         public string Title { get; set; }
         public string Description { get; set; }
      }
}

Есть идеи?