In case any invariant fails during validation, make sure that in the end we add the https://build.fhir.org/ig/HL7/fhir-extensions/StructureDefinition-operationoutcome-message-id.html extension to the OperationOutcome returned as the result. The value should contain the id of the failed invariant, e.g. "ele-1".