Represents returnsNotNull contract effect: a situation when a function returns normally with any value that is not null.
returnsNotNull