(rtc == #.name port && !#x:makreel:interface-name nil_is (#.name port (reply))) -> #.name reply'reordered (#.name port(reply)) . queue_empty . (semantics_reply(rtc = no_port,blocking=blocking - {#.name port},released=remove_port(#.name port,released), reply=replies(#x:semantics-provides-reset-reply-pair)) + semantics_blocked_rtc(blocking=blocking - {#.name port},released=remove_port(#.name port,released), reply=replies(#x:semantics-provides-reset-reply-pair)))
+ (rtc == no_port && released != [] && #.name port == head (released)) -> #.name reply'reordered (#.name port(reply)) . (semantics_reply(blocking=blocking - {#.name port},released=tail (released), reply=replies(#x:semantics-provides-reset-reply-pair)) + semantics_blocked_rtc(blocking=blocking - {#.name port},released=tail (released), reply=replies(#x:semantics-provides-reset-reply-pair)))