trace work_trace_70 "Send refinement" id "ea202923-0031-4000-8000-000000000070" {
    description "Existing correspondence; placement must not change semantics.";
    oa @oa_send;
    sa @sa_send;
}

trace work_trace_71 "Receive refinement" id "ea202923-0031-4000-8000-000000000071" {
    description "Existing correspondence; placement must not change semantics.";
    oa @oa_receive;
    sa @sa_receive;
}