anchor.diff:              {next_state, start_tx, Data};
           {committing, Data} ->
               {next_state, committing, Data};
  -        {committing, Data, Actions = [{reply,_,_}]} ->
  +        {committing, Data, Actions = [{reply, _, _}]} ->
               {next_state, committing, Data, Actions};
           {single_committing, Data} ->
               {next_state, single_committing, Data};
  
positive.code:                                     {next_state, start_tx, Data};
                                  {committing, Data} ->
                                      {next_state, committing, Data};
                                  {committing, Data, Actions = [{reply,_,_}]} ->
                                      {next_state, committing, Data, Actions};
                                  {single_committing, Data} ->
                                      {next_state, single_committing, Data};
  
negative.code:     case execute_command(OpType, Args, Sender, State) of
          {committing_2pc, Data} ->
              {next_state, committing_2pc, Data};
          {committing_2pc, Data, Actions = [{reply, _, _}]} ->
              {next_state, committing_2pc, Data, Actions};
          {receive_prepared, Data} ->
              {next_state, receive_prepared, Data};
  