Max cardinality of 0 not processing correctly

[hsolbrig]

BASE <http://example.org/ex/>
PREFIX ex: <example.org/ex/>
PREFIX : <http://hl7.org/fhir/>

start = @<BloodPressureMeasurementShape>

<BloodPressureMeasurementShape>  {
    (
        (:hasMethod [<invasive>] ;
         :hasLocation IRI{0})?
    |
        (:hasMethod [<non-invasive>]  ;
        | :hasLocation IRI)*
    )
} 

Passes:

BASE <http://example.org/ex/>
PREFIX ex: <http://example.org/ex/>
PREFIX : <http://hl7.org/fhir/>

<BPM1>
  :hasMethod <invasive> ;
  :hasLocation <BPMLocation1> .

This should fail because the hasLocation node is not consistent with the hasMethod type. (Reported by Ronald Cornet, University of Amsterdam)