Profile validation fails for il.core.fhir.r4

[abanadisc]

Describe the bug
Profile validation seems to fail for a il.core.fhir.r4 profile (https://simplifier.net/packages/il.core.fhir.r4). Validating a patient gets this error:
Code 'http://fhir.health.gov.il/identifier/il-national-id' is not a valid member of ValueSet with URL=http://fhir.health.gov.il/ValueSet/passport-uri and version=0.15.3

Environment
Which version of LinuxForHealth FHIR Server?
Version 5.1.1 of fhir-validation and fhir-profile.

To Reproduce
Steps to reproduce the behavior:

1. Load il.core.fhir.r4 profile (https://simplifier.net/packages/il.core.fhir.r4) and all its dependencies
2. Make a $validate call for /Patient/$validate?profile=http://fhir.health.gov.il/StructureDefinition/il-core-patient|0.15.3
   The body of the request is the "patient-with-israeli-id" example (https://simplifier.net/packages/il.core.fhir.r4/0.15.4/files/2636174)
3. Error:
   Code 'http://fhir.health.gov.il/identifier/il-national-id' is not a valid member of ValueSet with URL=http://fhir.health.gov.il/ValueSet/passport-uri and version=0.15.3

Expected behavior
The example resource is valid, so the validation should succeed.

Additional context
This seems to be related to how the identifier slices are being interpreted.