anchor.diff:  %% =============================================================================
   
   handle_info(_Info, _StateName, StateData) ->
  -    {stop,badmsg,StateData}.
  +    {stop, badmsg, StateData}.
   
   handle_event(_Event, _StateName, StateData) ->
  -    {stop,badmsg,StateData}.
  +    {stop, badmsg, StateData}.
   
   handle_sync_event(_Event, _From, _StateName, StateData) ->
  -    {stop,badmsg,StateData}.
  +    {stop, badmsg, StateData}.
   
   code_change(_OldVsn, StateName, State, _Extra) -> {ok, StateName, State}.
   
  
positive.code: %% @doc The coordinator for a given Clock SI static transaction.
  %%      It handles the state of the tx and executes the operations sequentially
  %%      by sending each operation to the responsible clockSI_vnode of the
  %%      involved key. when a tx is finalized (committed or aborted, the fsm
  %%      also finishes.
  
  -module(clocksi_static_tx_coord_fsm).
  
negative.code: %%    state: state of the transaction: {active|prepared|committing|committed}
  %%----------------------------------------------------------------------
  -record(state, {
            from :: pid(),
            tx_id :: txid(),
            tx_coord_pid :: pid(),
            operations :: list(),
            state:: atom()}).
  
  