Positive example: Consistent edge folding in message flows