anchor.diff:                                      {next_state, receive_prepared, Data};
                                   {start_tx, Data} ->
                                       {next_state, start_tx, Data};
  -                                {committing, Data} ->
  -                                    {next_state, committing, Data};
                                   {committing, Data, Actions = [{reply, _, _}]} ->
                                       {next_state, committing, Data, Actions};
                                   {single_committing, Data} ->
  
positive.code:             {next_state, receive_committed, Data};
          {receive_prepared, Data} ->
              {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;
  
negative.code: 
          {Key, Type, PostHookUpdate} ->
  
              %% Generate the appropriate state operations based on older snapshots
              GenerateResult = ?CLOCKSI_DOWNSTREAM:generate_downstream_op(
                  Transaction,
                  Partition,
  