Linting BPMN models