anchor.diff:              {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;
  
positive.code: 
  execute_op({call, Sender}, {OpType, Args}, State) ->
      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};
          {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} ->
  
negative.code: 
          {Key, Type, PostHookUpdate} ->
  
              %% Generate the appropriate state operations based on older snapshots
              GenerateResult = ?CLOCKSI_DOWNSTREAM:generate_downstream_op(
                  Transaction,
                  Partition,
  