Make methods in ClaimList Thiemo-compliant