Positive example: Consistent incoming and outgoing behavior of sequence flows