adding of a test case for choreographies with repeated exchanges