anchor.diff:                        );
                       ?SCALARIS_RECV(
                          {tx_tm_rtm_commit_reply, ClientsId, {abort, FailedKeys}}, %% ->
  -                         begin
  -                             {fail, abort, FailedKeys} %% commit / abort;
  -                         end
  -                       );
  -                    ?SCALARIS_RECV(
  -                       {tx_timeout, ClientsId}, %% ->
  -                       begin
  -                         log:log(error, "No result for commit received!"),
  -                         {fail, timeout}
  -                       end
  -                      )
  +                         {fail, abort, FailedKeys} %% commit / abort;
  +                       )
                   end
       end.
   
  
positive.code: receive_old_answers() ->
      receive
          ?SCALARIS_RECV({tx_tm_rtm_commit_reply, _, _}, receive_old_answers());
          ?SCALARIS_RECV({tx_timeout, _}, receive_old_answers());
          ?SCALARIS_RECV({_Op, _RdhtId, _RdhtTlog}, receive_old_answers())
      after 0 -> ok
      end.
  
negative.code:              receive_answer(ReqId)
            );
          ?SCALARIS_RECV(
             {_Op, ReqId, RdhtTlog}, %% ->
               RdhtTlog
            )
  