anchor.diff:                   S0=#state{num_to_ack=NumToAck, prepare_time=PrepareTime}) ->
       MaxPrepareTime = max(PrepareTime, ReceivedPrepareTime),
       case NumToAck of 1 ->
  -            lager:info("ClockSI: start committing... Commit time: ~w.",
  -                       [MaxPrepareTime]),
               {next_state, committing, S0#state{prepare_time=MaxPrepareTime,
                                                 commit_time=MaxPrepareTime,
                                                 state=committing}, 0};
           _ ->
  -            lager:info("ClockSI: Keep collecting prepare replies."),
               {next_state, receive_prepared, S0#state
                {num_to_ack=NumToAck-1, prepare_time=MaxPrepareTime}}
       end;
  
positive.code:                     {next_state, abort, SD0};
                  ReadResult ->
                      NewReadSet = lists:append(ReadSet, [ReadResult]),
                      lager:info("Read value added to read set: ~p",
                                 [CurrentOpLeader]),
                      SD1 = SD0#state{read_set=NewReadSet},
                      {next_state, prepare_op, SD1, 0}
              end;
  
negative.code:                 {read, Key0, Type} ->
                      {Key0, {read, Key0, Type, ignore}}
              end,
              Logid = log_utilities:get_logid_from_key(Key),
              Preflist = log_utilities:get_preflist_from_logid(Logid),
              Leader = hd(Preflist),
  