anchor.diff:      gen_component:post_op(State, {deliver, TraceId});
   
   on({get_infos, Client, TraceId}, State) ->
  -    Entry = lists:keyfind(TraceId, 1, State),
  -    case Entry of
  +    case lists:keyfind(TraceId, 1, State) of
           false ->
               comm:send(Client, {get_infos_reply, []});
           {TraceId, TraceEntry} ->
  
positive.code:             passed_state = passed_state_new(TraceId, {proto_sched, Logger}),
              num_possible_executions = 1
            }.
  
  -spec add_message(comm:mypid(), comm:mypid(), comm:message(), local | global, state_t()) -> state_t().
  add_message(Src, Dest, Msg, LorG, #state{msg_queues = OldQueues} = State) ->
  
negative.code: 
  on({cleanup, TraceId}, State) ->
      case lists:keytake(TraceId, 1, State) of
          {value, {TraceId, TraceEntry}, TupleList2} ->
              state_cleanup(TraceEntry),
              TupleList2;
          false                       -> State
      end.
  
  