Positive example: Absence of multiple outgoing sequence flows on start events