Positive example: Absence of multiple incoming sequence flows by end events