context Payers inv: self.title.getListStringValues()->forAll(st : String | self.title.matches(st, '.*(insurance|Insurance|INSURANCE|payers|Payers|PAYERS).*') )