anchor.diff:  
   process_local(State, M=#channel_message{id=Id}, _Cfg, _Data) ->
       case ets:lookup(?tid(State), Id) of
  -        badarg -> {State, noSuchChannel(Id)};
  +        [] -> {State, noSuchChannel(Id)};
           [#chan{remote=Pid}] ->
   	    fire(Pid,M),
   	    {State, []}
  
positive.code: 
  process_local_set_data(State, M=#channel_message{id=Id}, _Cfg, Data) ->
      case ets:lookup(?tid(State), Id) of
          badarg -> {State, noSuchChannel(Id)};
          [Ch = #chan{remote = Pid}] -> fire(Pid,M),
  	       ets:insert(?tid(State), Ch#chan{data = Data}),
  	       {State, []}
  
negative.code: 
  process_local(State, M=#channel_close{id=Id}, _Cfg, _Data) ->
      case ets:lookup(?tid(State),Id) of
          [] ->
              ?lwarn("Attempt to close unknown channel: ~p",[Id]),
              {State, noSuchChannel(Id)};
  	[#chan{remote=Pid,id=Id,ref=Ref}] ->
  