Postive Example: Absence of multiple outgoing sequence flows on intermediate events