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