context OriginalAuthor
inv: (not self.time.oclIsUndefined()) and (not self.time.value.oclIsUndefined())