anchor.diff:  
   %% @doc this function sends a prepare message to all updated partitions and goes
   %%      to the "receive_prepared"state.
  -prepare(SD0 = #coord_state{
  +prepare(State = #coord_state{
       from=From,
       num_to_read=NumToRead,
       full_commit=FullCommit,
  
positive.code:     %% Loop back to the same state until we process all the replies
      case NumToReply > 1 of
          true ->
              {next_state, receive_logging_responses, S0#coord_state{
                  num_to_read=NumToReply - 1,
                  return_accumulator=NewAcc
              }};
  
negative.code:                 ok ->
                      case IsStatic of
                          true ->
                              case prepare(State) of
                                  {receive_prepared, Data} ->
                                      {next_state, receive_prepared, Data};
                                  {start_tx, Data} ->
  