BPMN2: corrected asserttion of process runs