Added MustNotBeNullSpecification.