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, receive_prepared, Data};
          {committing_2pc, Data} ->
              {next_state, committing_2pc, Data};
          {committing_2pc, Data, Actions = [{reply,_,_}]} ->
              {next_state, committing_2pc, Data, Actions};
          {committing, Data} ->
              {next_state, committing, Data};
          {committing, Data, Actions = [{reply,_,_}]} ->
              {next_state, committing, Data, Actions}
      end;
  
  receive_prepared(cast ,abort, State) ->
      receive_prepared(cast, timeout, State);
  
  receive_prepared(cast, timeout, State) ->
  
negative.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};
  