anchor.diff:      end.
   
   clocksi_execute_tx(Operations) ->
  -    lager:info("Received transaction for operations: ~p", [Operations]),
       {ok, _} = clocksi_tx_coord_sup:start_fsm([self(), Operations]),
       receive
           EndOfTx ->
  
positive.code: %%      Returns: an ok message along with the new TxId.
  %%
  clocksi_istart_tx(Clock) ->
      lager:info("Starting FSM for interactive transaction."),
      ClientClock = case Clock of
          {Mega, Sec, Micro} ->
              clocksi_vnode:now_milisec({Mega, Sec, Micro});
  
negative.code: %%      error message in case of a failure.
  %%
  clocksi_execute_tx(Clock, Operations) ->
      ClientClock = case Clock of
          {Mega, Sec, Micro} ->
              clocksi_vnode:now_milisec({Mega, Sec, Micro});
  