Description: Procedure Counter Synchronization Timing Error. The repetition termination mechanism depends on synchronizing local and peer procedure counters, using the maximum value from both sides. Our implementation was updating these values prematurely, before the termination response was received. This caused counter updates with incorrect values, breaking the synchronization mechanism for next procedures

Multiple Termination Enqueues. When realigning the procedure missed procedures was observed. Then the stack would prepare the next procedure multiple times (once per missed procedure). Each invocation could potentially enqueue a termination request. This resulted in multiple redundant termination requests being generated, which violates the specification.