Corrected branch bpmn-2.0-verification