Negative example: Consistent edge folding in message flows