context CoverageActivity
inv: not self.statusCode.oclIsUndefined() and 
self.statusCode.code='completed'