context CoverageActivity
inv: self.id->size()>0